|
test_41
|
‘test_41’: events 1-4
| 473 | if (flag) { |
| ^ |
| | |
| (1) following ‘true’ branch (when ‘flag != 0’)... |
| 474 | buffer = (char*)malloc(4096); |
| ~~~~~~~~~~~~ |
| | |
| (2) ...to here |
| (3) this call could return NULL |
| [...] | |
| 479 | buffer[0] = 'a'; /* { dg-warning "dereference of possibly-NULL 'buffer'" "possibly-NULL" } */ |
| ~~~~~~~~~~~~~~~ |
| | |
| (4) ‘buffer’ could be NULL: unchecked value from (3) |
|
|