Bug path
test_3
‘test_3’
:
events 1-2
7
int *ptr = (int *)malloc (sizeof (int)); /* { dg-line malloc } */
^~~~~~~~~~~~~~~~~~~~~
|
(1) this call could return NULL
8
*ptr = 42; /* { dg-line unchecked_deref } */
~~~~~~~~~
|
(2) ‘ptr’ could be NULL: unchecked value from (1)