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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-ethread-stats" } */
   3 typedef struct basic_block_def *basic_block;
   4 struct basic_block_def;
   5 struct edge_def;
   6 typedef struct edge_def *edge;
   7 typedef struct VEC_edge_base
   8 {
   9   unsigned num;
  10 } VEC_edge_base;
  11 typedef struct VEC_edge_none
  12 {
  13   VEC_edge_base base;
  14 } VEC_edge_none;
  15 static __inline__ unsigned
  16 VEC_edge_base_length (VEC_edge_base * vec_)
  17 {
  18   return vec_ ? vec_->num : 0;
  19 }
  20
  21 typedef struct VEC_edge_gc
  22 {
  23   VEC_edge_base base;
  24 } VEC_edge_gc;
  25 struct basic_block_def
  26 {
  27   VEC_edge_gc *succs;
  28 };
  29 void foo (void);
  30
  31 unsigned char
  32 cleanup_empty_eh (basic_block bb)
  33 {
  34   edge e_out;
  35   switch (VEC_edge_base_length (&bb->succs->base))
  36     {
  37     case 1:
  38         foo ();
  39     }
  40 }
  41 /* { dg-final { scan-tree-dump "Jumps threaded: 1" "ethread"} } */
  42