Viewing file:  gnu2x-attrs-2.c (1.14 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* Test C2x attribute syntax. Test GNU attributes appertain to
appropriate constructs. Attributes on types not being defined at
the time. */
/* { dg-do compile } */
/* { dg-options "-std=gnu2x -Wformat" } */
typedef void va_type (const char *, ...);
typedef va_type [[gnu::format (printf, 1, 2)]] printf_like_1;
typedef void printf_like_2 (const char *, ...) [[gnu::format (printf, 1, 2)]];
typedef __typeof__ (void (const char *, ...) [[gnu::format (printf, 1, 2)]])
printf_like_3;
va_type func1;
printf_like_1 func2;
printf_like_2 func3;
printf_like_3 func4;
va_type [[gnu::format (printf, 1, 2)]] *func5 (void);
void
func_test (void)
{
func1 ("%s", 1);
func2 ("%s", 1); /* { dg-warning "expects argument" } */
func3 ("%s", 1); /* { dg-warning "expects argument" } */
func4 ("%s", 1); /* { dg-warning "expects argument" } */
func5 () ("%s", 1); /* { dg-warning "expects argument" } */
}
typedef int A[2];
__typeof__ (int [[gnu::deprecated]]) var1; /* { dg-warning "deprecated" } */
__typeof__ (A [[gnu::deprecated]]) var2; /* { dg-warning "deprecated" } */
__typeof__ (int [3] [[gnu::deprecated]]) var3; /* { dg-warning "deprecated" } */
|
