diff options
Diffstat (limited to 'gcc/testsuite/c-c++-common/pr68833-1.c')
| -rw-r--r-- | gcc/testsuite/c-c++-common/pr68833-1.c | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/gcc/testsuite/c-c++-common/pr68833-1.c b/gcc/testsuite/c-c++-common/pr68833-1.c new file mode 100644 index 0000000000..e0601b39ec --- /dev/null +++ b/gcc/testsuite/c-c++-common/pr68833-1.c @@ -0,0 +1,22 @@ +/* PR c/68833 */ +/* { dg-do compile } */ +/* { dg-options "-Werror=larger-than-65536 -Werror=format -Werror=missing-noreturn" } */ + +int a[131072]; /* { dg-error "size of 'a' is \[1-9]\[0-9]* bytes" } */ +int b[1024]; /* { dg-bogus "size of 'b' is \[1-9]\[0-9]* bytes" } */ + +void +f1 (const char *fmt) +{ + __builtin_printf ("%d\n", 1.2); /* { dg-error "expects argument of type" } */ + __builtin_printf (fmt, 1.2); /* { dg-bogus "format not a string literal, argument types not checked" } */ +} + +extern void f2 (void); +void +f2 (void) /* { dg-error "candidate for attribute 'noreturn'" "detect noreturn candidate" } */ +{ + __builtin_exit (0); +} + +/* { dg-prune-output "treated as errors" } */ |