gcc/testsuite/gcc.dg/tree-ssa/vrp17.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-vrp1" } */
   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 "vrp1" } } */
  31 /* { dg-final { cleanup-tree-dump "vrp1" } } */
  32