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