| 
  
     ‘test_1’: events 1-7 
|    11 |   if (4 < co) |  
 |      ^ |  
 |      | |  
 |      (1) following ‘true’ branch (when ‘co > 4’)... |  
|    12 |     if (co < y) |  
 |        ~ |  
 |        | |  
 |        (2) ...to here |  
 |        (3) following ‘true’ branch (when ‘co < y’)... |  
|    13 |       if (y == 0) |  
 |          ~ |  
 |          | |  
 |          (4) ...to here |  
 |          (5) following ‘true’ branch (when ‘y == 0’)... |  
|    14 |         __analyzer_dump_path (); /* { dg-message "path" } */ |  
 |         ~~~~~~~~~~~~~~~~~~~~~~~ |  
 |         | |  
 |         (6) ...to here |  
 |         (7) here |  
 
 |