Bug path
test_1
‘test_1’
:
events 1-2
9
void test_1 (void)
^~~~~~
|
(1) entry to ‘test_1’
10
{
11
int *p = callee (); /* { dg-message "return of NULL to 'test_1' from 'callee'" } */
~~~~~~~~~
|
(2) calling ‘callee’ from ‘test_1’
callee
‘callee’
:
event 3
4
callee (void)
^~~~~~
|
(3) entry to ‘callee’
‘callee’
:
event 4
6
return NULL;
^~~~
|
(4) ‘0’ is NULL
‘test_1’
:
events 5-6
11
int *p = callee (); /* { dg-message "return of NULL to 'test_1' from 'callee'" } */
^~~~~~~~~
|
(5) return of NULL to ‘test_1’ from ‘callee’
12
*p = 42; /* { dg-warning "dereference of NULL 'p'" } */
~~~~~~~
|
(6) dereference of NULL ‘p’