Bug path

test_repeated_predicate_1a
‘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