Bug path

test_2
‘test_2’: events 1-2
19 int *i = malloc (sizeof (int)); /* { dg-message "\\(1\\) this call could return NULL" } */
^~~~~~~~~~~~~~~~~~~~~
|
(1) this call could return NULL
20 *i = 42; /* { dg-warning "dereference of possibly-NULL 'i'" "warning" } */
~~~~~~~
|
(2) ‘i’ could be NULL: unchecked value from (1)