1 #include <stddef.h>
2 
3 static int *__attribute__((noinline))
callee(void)4 callee (void)
5 {
6   return NULL;
7 }
8 
test_1(void)9 void test_1 (void)
10 {
11   int *p = callee (); /* { dg-message "return of NULL to 'test_1' from 'callee'" } */
12   *p = 42; /* { dg-warning "dereference of NULL 'p'" } */
13 }
14