1  /* { dg-additional-options "-fdiagnostics-show-line-numbers -fdiagnostics-path-format=inline-events -fdiagnostics-show-caret" } */
       2  /* { dg-enable-nn-line-numbers "" } */
       3  /* { dg-require-effective-target indirect_jumps } */
       4  
       5  #include "test-setjmp.h"
       6  #include <stddef.h>
       7  #include "analyzer-decls.h"
       8  
       9  extern void foo (int);
      10  
      11  void test_1 (void)
      12  {
      13    SETJMP (NULL);
      14  }
      15  
      16  void test_2 (void)
      17  {
      18    jmp_buf env;
      19    int i;
      20  
      21    foo (0);
      22  
      23    i = SETJMP(env);
      24  
      25    foo (1);
      26  
      27    if (i != 0)
      28      {
      29        foo (2);
      30        __analyzer_dump_path (); /* { dg-message "path" } */
      31      }
      32    else
      33      longjmp (env, 1);
      34  
      35    foo (3);
      36  }
      37  
      38  /* { dg-begin-multiline-output "" }
      39     NN |       __analyzer_dump_path ();
      40        |       ^~~~~~~~~~~~~~~~~~~~~~~
      41    'test_2': event 1
      42      |
      43      |   NN |   i = SETJMP(env);
      44      |      |       ^~~~~~
      45      |      |       |
      46      |      |       (1) 'setjmp' called here
      47      |
      48    'test_2': events 2-4
      49      |
      50      |   NN |   if (i != 0)
      51      |      |      ^
      52      |      |      |
      53      |      |      (2) following 'false' branch (when 'i == 0')...
      54      |......
      55      |   NN |     longjmp (env, 1);
      56      |      |     ~~~~~~~~~~~~~~~~
      57      |      |     |
      58      |      |     (3) ...to here
      59      |      |     (4) rewinding within 'test_2' from 'longjmp'...
      60      |
      61    'test_2': event 5
      62      |
      63      |   NN |   i = SETJMP(env);
      64      |      |       ^~~~~~
      65      |      |       |
      66      |      |       (5) ...to 'setjmp' (saved at (1))
      67      |
      68    'test_2': events 6-8
      69      |
      70      |   NN |   if (i != 0)
      71      |      |      ^
      72      |      |      |
      73      |      |      (6) following 'true' branch (when 'i != 0')...
      74      |   NN |     {
      75      |   NN |       foo (2);
      76      |      |       ~~~~~~~
      77      |      |       |
      78      |      |       (7) ...to here
      79      |   NN |       __analyzer_dump_path ();
      80      |      |       ~~~~~~~~~~~~~~~~~~~~~~~
      81      |      |       |
      82      |      |       (8) here
      83      |
      84      { dg-end-multiline-output "" } */
      85  
      86  void test_3 (void)
      87  {
      88    longjmp (NULL, 0);
      89  }
      90  
      91  void test_4 (void)
      92  {
      93    longjmp (NULL, 1);
      94  }
      95  
      96  void test_5 (void)
      97  {
      98    jmp_buf env;
      99    longjmp (env, 1);
     100  }