1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
// { dg-do compile }
// { dg-options "-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 '\[^\n\r]*' declared 'nonnull'" }
#embed __FILE__ limit (128)
)));
#if __cplusplus >= 201103L
[[gnu::nonnull (
#embed __FILE__ limit (128)
)]] void bar (D); // { dg-message "in a call to function '\[^\n\r]*' declared 'nonnull'" "" { target c++11 } }
#else
void bar (D) __attribute__((nonnull ( // { dg-message "in a call to function '\[^\n\r]*' declared 'nonnull'" "" { target c++98_only } }
#embed __FILE__ limit (128)
)));
#endif
#undef A
#if __cplusplus >= 201103L
#define A(n) nullptr
#else
#define A(n) 0
#endif
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" }
}
|
