gcc/testsuite/g++.dg/tree-ssa/pr31146-2.C

   1 /* { dg-do compile } */
   2 /* { dg-options "-O -fno-tree-vrp -fdump-tree-forwprop1" } */
   3
   4 #include <new>
   5
   6 template <class T>
   7 struct Vec
   8 {
   9   Vec()
  10   {
  11     for (int i=0; i<3; ++i)
  12       new (&a[i]) T(0);
  13   }
  14   T a[3];
  15 };
  16
  17 double foo (void)
  18 {
  19   Vec<double> v;
  20   return v.a[2];
  21 }
  22
  23 /* -std=c++17 and above doesn't emit operator new () != NULL, so there is
  24    nothing to fold anymore.  */
  25 /* { dg-final { scan-tree-dump "Replaced .* != 0B. with .1" "forwprop1" { target c++14_down } } } */