Bug path

test
‘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)