|
test_1
‘test_1’: events 1-5
8 | int test_1 (int i, int flag) |
| ^~~~~~ |
| | |
| (1) entry to ‘test_1’ |
[...] | |
12 | if (flag) |
| ~ |
| | |
| (2) following ‘true’ branch (when ‘flag != 0’)... |
13 | ptr = (int *)malloc (sizeof (int)); |
| ~~~~~~~~~~~~~~~~~~~~~ |
| | |
| (3) ...to here |
| (4) this call could return NULL |
14 | callee_1 (ptr); |
| ~~~~~~~~~~~~~~ |
| | |
| (5) calling ‘callee_1’ from ‘test_1’ |
|
|
callee_1
‘callee_1’: events 6-7
3 | void __attribute__((noinline)) callee_1 (int *ptr) |
| ^~~~~~~~ |
| | |
| (6) entry to ‘callee_1’ |
4 | { |
5 | *ptr = 42; /* { dg-warning "dereference of possibly-NULL 'ptr'" } */ |
| ~~~~~~~~~ |
| | |
| (7) ‘ptr’ could be NULL: unchecked value from (4) |
|
|
|