|
‘test’: events 1-4
| 17 | int *result = malloc (sizeof (int) * n); |
| ^~~~~~~~~~~~~~~~~~~~~~~~~ |
| | |
| (1) this call could return NULL |
| [...] | |
| 20 | for (i = 0; i < n; i++) |
| ~~~~~ |
| | |
| (2) following ‘true’ branch (when ‘i < n’)... |
| 21 | result[i] = buf[i] + i; /* { dg-warning "possibly-NULL" } */ |
| ~~~~~~~~~~~~~~~~~~~~~~ |
| | | |
| | (3) ...to here |
| (4) ‘<unknown>’ could be NULL: unchecked value from (1) |
|