|
‘test_repeated_predicate_1’: events 1-6
| 22 | if (n > 10) |
| ^ |
| | |
| (1) following ‘true’ branch (when ‘n > 10’)... |
| 23 | ptr = (int *)malloc (sizeof (int) * n); |
| ~~~~~~~~~~~~~~~~~~~~~~~~~ |
| | |
| (2) ...to here |
| (3) this call could return NULL |
| [...] | |
| 33 | for (i = 0; i < n; i++) |
| ~~~~~ |
| | |
| (4) following ‘true’ branch (when ‘i < n’)... |
| 34 | p[i] = i; /* { dg-warning "dereference of possibly-NULL" } */ |
| ~~~~~~~~ |
| | | |
| | (6) ‘<unknown>’ could be NULL: unchecked value from (3) |
| (5) ...to here |
|