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

   1 // PR tree-optimization/83239 - False positive from -Wstringop-overflow
   2 // on simple std::vector code
   3 // { dg-do compile }
   4 // { dg-options "-O3 -finline-limit=500 -Wall -fdump-tree-optimized"  }
   5
   6 #include <vector>
   7
   8 // Verify no warnings are issued.
   9
  10 template <class T>
  11 void test_loop ()
  12 {
  13   std::vector<T> a;
  14
  15   int num = 2;
  16
  17   while (num > 0)
  18     {
  19       const typename std::vector<T>::size_type sz = a.size ();
  20
  21       if (sz < 3)
  22         a.assign (1, 0);
  23       else
  24         a.resize (sz - 2);
  25
  26       --num;
  27     }
  28 }
  29
  30 // Verify no warnings are issued here either.
  31
  32 template <class T>
  33 void test_if (std::vector<T> &a, int num)
  34 {
  35   if (num > 0)
  36     {
  37       const typename std::vector<T>::size_type sz = a.size ();
  38
  39       if (sz < 3)
  40         a.assign (1, 0);
  41       else
  42         a.resize (sz - 2);
  43     }
  44 }
  45
  46 // Instantiate each function on a different type to force both
  47 // to be fully inlined.  Instantiating both on the same type
  48 // causes the inlining heuristics to outline _M_default_append
  49 // which, in turn, masks the warning.
  50 template void test_loop<int>();
  51 template void test_if<long>(std::vector<long>&, int);
  52
  53 // Verify that std::vector<T>::_M_default_append() has been inlined
  54 // (the absence of warnings depends on it).
  55 // { dg-final { scan-tree-dump-not "_ZNSt6vectorIiSaIiEE17_M_default_appendEm"  optimized } }
  56 // { dg-final { scan-tree-dump-not "_ZNSt6vectorIPvSaIS0_EE17_M_default_appendEm" optimized } }