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

     1  /* This exposed a bug in tree-ssa-ccp.c.  Since 'j' and 'i' are never
     2     defined, CCP was not traversing the edges out of the if(), which caused
     3     the PHI node for 'k' at the top of the while to only be visited once.
     4     This ended up causing CCP to think that 'k' was the constant '1'.  */
     5  main()
     6  {
     7    int i, j, k;
     8  
     9    k = 0;
    10    while (k < 10)
    11      {
    12        k++;
    13        if (j > i)
    14  	j = 5;
    15        else
    16  	j =3;
    17      }
    18  
    19    if (k != 10)
    20      abort ();
    21  
    22    return 0;
    23  }