../../src/gcc/testsuite/gcc.dg/analyzer/setjmp-4.c: In function ‘main’:
../../src/gcc/testsuite/gcc.dg/analyzer/setjmp-4.c:27:5: note: path
   27 |     __analyzer_dump_path (); /* { dg-message "path" } */
      |     ^~~~~~~~~~~~~~~~~~~~~~~
  ‘main’: event 1
    |
    |   22 | int main (void)
    |      |     ^~~~
    |      |     |
    |      |     (1) entry to ‘main’
    |
  ‘main’: event 2
    |
    |   24 |   if (!setjmp(buf))
    |      |        ^~~~~~
    |      |        |
    |      |        (2) ‘setjmp’ called here
    |
  ‘main’: events 3-5
    |
    |   24 |   if (!setjmp(buf))
    |      |      ^
    |      |      |
    |      |      (3) following ‘true’ branch...
    |   25 |     outer (42);
    |      |     ~~~~~~~~~~
    |      |     |
    |      |     (4) ...to here
    |      |     (5) calling ‘outer’ from ‘main’
    |
    +--> ‘outer’: events 6-7
           |
           |   15 | void outer (int y)
           |      |      ^~~~~
           |      |      |
           |      |      (6) entry to ‘outer’
           |......
           |   18 |   inner (y);
           |      |   ~~~~~~~~~
           |      |   |
           |      |   (7) calling ‘inner’ from ‘outer’
           |
           +--> ‘inner’: events 8-9
                  |
                  |    8 | void inner (int x)
                  |      |      ^~~~~
                  |      |      |
                  |      |      (8) entry to ‘inner’
                  |......
                  |   11 |   longjmp (buf, 1);
                  |      |   ~~~~~~~~~~~~~~~~
                  |      |   |
                  |      |   (9) rewinding from ‘longjmp’ in ‘inner’...
                  |
    <-------------+
    |
  ‘main’: event 10
    |
    |   24 |   if (!setjmp(buf))
    |      |        ^~~~~~
    |      |        |
    |      |        (10) ...to ‘setjmp’ in ‘main’ (saved at (2))
    |
  ‘main’: events 11-13
    |
    |   24 |   if (!setjmp(buf))
    |      |      ^
    |      |      |
    |      |      (11) following ‘false’ branch...
    |......
    |   27 |     __analyzer_dump_path (); /* { dg-message "path" } */
    |      |     ~~~~~~~~~~~~~~~~~~~~~~~
    |      |     |
    |      |     (12) ...to here
    |      |     (13) here
    |