Bug path

‘test’: events 1-2
15 Byte *uncompr = (Byte*)calloc((uInt)uncomprLen, 1);
^~~~~~~~~~~~~~~~~~~~~~~~~~~
|
(1) allocated here
16 if (compr == Z_NULL || uncompr == Z_NULL)
~
|
(2) following ‘false’ branch (when ‘compr’ is non-NULL)...
‘test’: event 3
16 if (compr == Z_NULL || uncompr == Z_NULL)
^
|
(3) ...to here
‘test’: event 4
16 if (compr == Z_NULL || uncompr == Z_NULL)
^
|
(4) assuming ‘uncompr’ is non-NULL
‘test’: events 5-7
16 if (compr == Z_NULL || uncompr == Z_NULL)
^
|
(5) following ‘false’ branch (when ‘uncompr’ is non-NULL)...
[...]
21 strcpy((char*)uncompr, "garbage");
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
(6) ...to here
22 return 0; /* { dg-warning "leak of 'uncompr'" "uncompr leak" } */
~
|
(7) ‘uncompr’ leaks here; was allocated at (1)