gcc/testsuite/gcc.dg/tree-ssa/20030814-5.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O1 -fdump-tree-dom2 -fdump-tree-optimized" } */
   3
   4 extern void abort (void);
   5 union tree_node;
   6 typedef union tree_node *tree;
   7 extern const char tree_code_type[];
   8 struct tree_common
   9 {
  10   int code;
  11 };
  12 struct tree_decl
  13 {
  14   long pointer_alias_set;
  15 };
  16 union tree_node
  17 {
  18   struct tree_common common;
  19   struct tree_decl decl;
  20 };
  21 long oof (void);
  22 void record_alias_subset (long);
  23 long
  24 blah (decl, set)
  25      tree decl;
  26      long set;
  27 {
  28   decl->decl.pointer_alias_set = oof();
  29   if (tree_code_type[decl->common.code] != 'd')
  30     abort ();
  31   record_alias_subset (decl->decl.pointer_alias_set);
  32   if (set != -1)
  33     set = 0;
  34   return set;
  35 }
  36
  37 /* There should be precisely one reference to pointer_alias_set.  If there is
  38    more than one, then the dominator optimizations failed.  */
  39 /* { dg-final { scan-tree-dump-times "pointer_alias_set" 1 "dom2"} } */
  40
  41 /* The assignment set = -1 in the ELSE clause of the last IF
  42    statement should be removed by the final cleanup phase.  */
  43 /* { dg-final { scan-tree-dump-times "set = -1" 0 "optimized"} } */