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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-forwprop1 -W -Wall" } */
   3
   4
   5 int b;
   6 void f(void)
   7 {
   8   float a;
   9   a = 1;
  10   b = *(int*)&a; /* { dg-warning "aliasing" } */
  11 }
  12
  13 /* We should be able to convert the cast to a VCE in forwprop1,
  14    even if there is an aliasing violation. */
  15 /* { dg-final { scan-tree-dump-times "VIEW_CONVERT_EXPR" 1 "forwprop1"} } */
  16 /* { dg-final { cleanup-tree-dump "forwprop1" } } */