| /* { dg-do compile } */ |
| /* { dg-options "-std=gnu23 -Wnonnull" } */ |
| |
| #define A(n) int *p##n |
| #define B(n) A(n##0), A(n##1), A(n##2), A(n##3), A(n##4), A(n##5), A(n##6), A(n##7) |
| #define C(n) B(n##0), B(n##1), B(n##2), B(n##3), B(n##4), B(n##5), B(n##6), B(n##7) |
| #define D C(0), C(1), C(2), C(3) |
| |
| void foo (D) __attribute__((nonnull ( /* { dg-message "in a call to function 'foo' declared 'nonnull'" } */ |
| #embed __FILE__ limit (128) |
| ))); |
| [[gnu::nonnull ( |
| #embed __FILE__ limit (128) |
| )]] void bar (D); /* { dg-message "in a call to function 'bar' declared 'nonnull'" } */ |
| |
| #undef A |
| #define A(n) nullptr |
| |
| void |
| baz () |
| { |
| foo (D); /* { dg-warning "argument \[0-9]\+ null where non-null expected" } */ |
| bar (D); /* { dg-warning "argument \[0-9]\+ null where non-null expected" } */ |
| } |
