1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-evrp" } */
       3  
       4  extern void abort (void) __attribute__ ((__noreturn__));
       5  union tree_node;
       6  typedef union tree_node *tree;
       7  extern const unsigned char tree_code_length[];
       8  struct tree_common
       9  {
      10    int code;
      11  };
      12  struct tree_exp
      13  {
      14    tree operands[1];
      15  };
      16  union tree_node
      17  {
      18    struct tree_common common;
      19    struct tree_exp exp;
      20  };
      21  int
      22  gimplify_for_stmt (tree stmt)
      23  {
      24    if (2 >= tree_code_length[stmt->common.code])
      25      abort ();
      26    if (3 >= tree_code_length[stmt->common.code])
      27      abort ();
      28  }
      29  
      30  /* { dg-final { scan-tree-dump-times "Simplified relational" 1 "evrp" } } */
      31