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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-vrp1-blocks-vops-details" } */
   3
   4 fu (char *p, int x)
   5 {
   6   if (x)
   7    *p = 69;
   8   if (p)
   9     arf ();
  10 }
  11
  12 /* { dg-final { scan-tree-dump-times "Threaded jump" 1 "vrp1" } } */
  13 /* { dg-final { cleanup-tree-dump "vrp1" } } */
  14