1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
/* { 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" } */
}
|
