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

     1  void abort ();
     2  void exit (int);
     3  
     4  void test(int x, int y)
     5  {
     6    if (x == y)
     7      abort ();
     8  }
     9  
    10  void foo(int x, int y)
    11  {
    12    if (x == y)
    13      goto a;
    14    else
    15      {
    16  a:;
    17        if (x == y)
    18  	goto b;
    19        else
    20  	{
    21  b:;
    22  	  if (x != y)
    23  	    test (x, y);
    24  	}
    25      }
    26  }
    27  
    28  int main(void)
    29  {
    30    foo (0, 0);
    31  
    32    exit (0);
    33  }
    34  
    35