Bug path
‘test_3’
:
events 1-2
31
int *ptr = (int *)malloc (sizeof (int));
^~~~~~~~~~~~~~~~~~~~~
|
(1) this call could return NULL
32
*ptr = 42; /* { dg-warning "dereference of possibly-NULL 'ptr'" } */
~~~~~~~~~
|
(2) ‘ptr’ could be NULL: unchecked value from (1)