1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fno-tree-fre -fdump-tree-vrp1" } */
       3  
       4  extern void abort ();
       5  extern void arf ();
       6  int tree_code_length[100];
       7  
       8  void
       9  blah (int code1)
      10  {
      11    unsigned char D18670;
      12  
      13    if (code1 != 53) goto L0; else goto L1;
      14  
      15  L0:
      16    abort ();
      17  
      18  L1:
      19    D18670 = tree_code_length[53];
      20    if (D18670 <= 1) goto L2; else goto L3;
      21  
      22  L2:
      23    abort ();
      24  
      25  L3:
      26    if (D18670 == 2) goto L4; else goto L5;
      27  
      28  L4:
      29    abort ();
      30  
      31  L5:
      32    arf ();
      33    if (code1 != 53) goto L6; else goto L7;
      34  
      35  L6:
      36    abort ();
      37  
      38  L7:
      39    if (D18670 <= 2) goto L8; else goto L9;
      40  
      41  L8:
      42    abort ();
      43  
      44  L9:
      45    return;
      46  
      47  }
      48  
      49  /* The second test of (code1 != 53) and the test (D18670 <= 2) are
      50     both totally subsumed by earlier tests and thus should be folded
      51     away using VRP.  */
      52  /* { dg-final { scan-tree-dump-times "if" 3 "vrp1" } } */
      53