|
‘test_4’: events 1-5
| 7 | int *ptr = (int *)malloc (sizeof (int)); /* { dg-line malloc } */ |
| ^~~~~~~~~~~~~~~~~~~~~ |
| | |
| (1) allocated here |
| 8 | if (ptr) /* { dg-line cond } */ |
| ~ |
| | |
| (2) assuming ‘ptr’ is NULL |
| (3) following ‘false’ branch (when ‘ptr’ is NULL)... |
| [...] | |
| 11 | *ptr = 43; /* { dg-line on_null_ptr } */ |
| ~~~~~~~~~ |
| | |
| (4) ...to here |
| (5) dereference of NULL ‘ptr’ |
|