gcc/testsuite/g++.dg/tree-ssa/nonzero-3.C

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-vrp1 -fdelete-null-pointer-checks" } */
   3 struct A {int a;};
   4 struct B {int b;};
   5 struct C:A,B {int c;
   6   void bar();};
   7
   8 void foo (struct B *);
   9 void C::bar ()
  10 {
  11   struct C *d = this;
  12   foo(this);
  13   foo(d);
  14 }
  15 void bar (struct C &c)
  16 {
  17   struct C *d = &c;
  18   foo(&c);
  19   foo(d);
  20 }
  21 /* { dg-final { scan-tree-dump-not "if \\(" "vrp1"} } */