1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-vrp1" } */
       3  
       4  
       5  extern void abort (void) __attribute__ ((__noreturn__));
       6  union tree_node;
       7  typedef union tree_node *tree;
       8  enum tree_code
       9  {
      10    ERROR_MARK,
      11    COND_EXPR = 42,
      12  };
      13  extern const unsigned char tree_code_length[];
      14  struct tree_common
      15  {
      16    enum tree_code code:8;
      17  };
      18  union tree_node
      19  {
      20    struct tree_common common;
      21  };
      22  void
      23  blah (tree t)
      24  {
      25    if (t->common.code != COND_EXPR)
      26      abort ();
      27    if (1 >= tree_code_length[t->common.code])
      28      abort ();
      29  
      30  }
      31  
      32  /* { dg-final { scan-tree-dump-times "tree_code_length.42." 1 "vrp1" } } */
      33