Bug path
‘test_38’
:
events 1-2
839
int *ptr = NULL;
^~~
|
(1) ‘ptr’ is NULL
840
return *ptr; /* { dg-warning "dereference of NULL 'ptr'" } */
~~~~
|
(2) dereference of NULL ‘ptr’