|    15 |     Byte *uncompr  = (Byte*)calloc((uInt)uncomprLen, 1); | 
 |                             ^~~~~~~~~~~~~~~~~~~~~~~~~~~ | 
 |                             | | 
 |                             (1) allocated here | 
|    16 |     if (compr == Z_NULL || uncompr == Z_NULL) | 
 |        ~                      | 
 |        | | 
 |        (2) following ‘true’ branch (when ‘compr’ is NULL)... | 
|    17 |       { | 
|    18 |         return 1; /* { dg-warning "leak of 'uncompr'" "uncompr leak" } */ | 
 |                ~              | 
 |                | | 
 |                (3) ...to here | 
 |                (4) ‘uncompr’ leaks here; was allocated at (1) |