gcc/testsuite/g++.dg/pr104547.C

   1 // { dg-do compile }
   2 // { dg-options "-O3 -fdump-tree-vrp2"  }
   3 // { dg-skip-if "requires hosted libstdc++ for vector" { ! hostedlib } }
   4
   5 #include <vector>
   6
   7 void shrink(std::vector<int>& v, unsigned n) {
   8     if (v.size() < n)
   9       __builtin_unreachable();
  10     v.resize(v.size() - n);
  11 }
  12
  13 // Verify that std::vector<T>::_M_default_append() has been removed by vrp2.
  14 // { dg-final { scan-tree-dump-not "_M_default_append"  vrp2 } }