gcc/testsuite/gcc.dg/tree-ssa/forwprop-9.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O1 -fdump-tree-final_cleanup -fdump-tree-fre -W -Wall -fno-early-inlining" } */
   3
   4 int b;
   5 unsigned a;
   6 static inline int *g(void)
   7 {
   8   a = 1;
   9   return (int*)&a;
  10 }
  11 void f(void)
  12 {
  13    b = *g();
  14 }
  15
  16 /* We should have converted the assignments to two = 1.  FRE does this.  */
  17
  18 /* { dg-final { scan-tree-dump-times " = 1" 2 "final_cleanup"} } */
  19 /* { dg-final { scan-tree-dump-not " = a;" "fre"} } */
  20 /* { dg-final { cleanup-tree-dump "fre" } } */
  21 /* { dg-final { cleanup-tree-dump "final_cleanup" } } */