Bug path

test_2
‘test_2’: events 1-8
31 if (a > 5)
^
|
(1) following ‘true’ branch (when ‘a > 5’)...
32 if (b)
~
|
(2) ...to here
(3) following ‘true’ branch (when ‘b != 0’)...
33 p = malloc (16);
~~~~~~~~~~~
|
(4) ...to here
(5) allocated here
[...]
39 if (a > 6) /* different condition */
~
|
(6) following ‘false’ branch (when ‘a <= 6’)...
[...]
45 return 0; /* { dg-warning "leak of 'p'" } */
~
|
(7) ...to here
(8) ‘p’ leaks here; was allocated at (5)