Bug path

test_4
‘test_4’: events 1-5
7 int *ptr = (int *)malloc (sizeof (int)); /* { dg-line malloc } */
^~~~~~~~~~~~~~~~~~~~~
|
(1) allocated here
8 if (ptr) /* { dg-line cond } */
~
|
(2) assuming ‘ptr’ is NULL
(3) following ‘false’ branch (when ‘ptr’ is NULL)...
[...]
11 *ptr = 43; /* { dg-line on_null_ptr } */
~~~~~~~~~
|
(4) ...to here
(5) dereference of NULL ‘ptr’