Bug path

test_4
‘test_4’: events 1-5
46 int *ptr = (int *)malloc (sizeof (int));
^~~~~~~~~~~~~~~~~~~~~
|
(1) allocated here
47 if (ptr)
~
|
(2) assuming ‘ptr’ is NULL
(3) following ‘false’ branch (when ‘ptr’ is NULL)...
[...]
50 *ptr = 43; /* { dg-warning "dereference of NULL 'ptr'" } */
~~~~~~~~~
|
(4) ...to here
(5) dereference of NULL ‘ptr’