modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.0/gcc/testsuite/gcc.c-torture/execute/20070424-1.c (about)

     1  extern void abort (void);
     2  extern void exit (int);
     3  
     4  void do_exit (void) { exit (0); }
     5  void do_abort (void) { abort (); }
     6  
     7  void foo (int x, int a)
     8  {
     9    if (x < a)
    10      goto doit;
    11    do_exit ();
    12    if (x != a)
    13      goto doit;
    14  
    15    /* else */
    16    do_abort ();
    17    return;
    18  
    19  doit:
    20    do_abort ();
    21  }
    22  
    23  int main()
    24  {
    25    foo (1, 0);
    26    return 0;
    27  }