Viewing file:  pr83239.C (1.36 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
// PR tree-optimization/83239 - False positive from -Wstringop-overflow
// on simple std::vector code
// { dg-do compile }
// { dg-options "-O3 -finline-limit=500 -Wall -fdump-tree-optimized" }
#include <vector>
// Verify no warnings are issued.
template <class T>
void test_loop ()
{
std::vector<T> a;
int num = 2;
while (num > 0)
{
const typename std::vector<T>::size_type sz = a.size ();
if (sz < 3)
a.assign (1, 0);
else
a.resize (sz - 2);
--num;
}
}
// Verify no warnings are issued here either.
template <class T>
void test_if (std::vector<T> &a, int num)
{
if (num > 0)
{
const typename std::vector<T>::size_type sz = a.size ();
if (sz < 3)
a.assign (1, 0);
else
a.resize (sz - 2);
}
}
// Instantiate each function on a different type to force both
// to be fully inlined. Instantiating both on the same type
// causes the inlining heuristics to outline _M_default_append
// which, in turn, masks the warning.
template void test_loop<int>();
template void test_if<long>(std::vector<long>&, int);
// Verify that std::vector<T>::_M_default_append() has been inlined
// (the absence of warnings depends on it).
// { dg-final { scan-tree-dump-not "_ZNSt6vectorIiSaIiEE17_M_default_appendEm" optimized } }
// { dg-final { scan-tree-dump-not "_ZNSt6vectorIPvSaIS0_EE17_M_default_appendEm" optimized } }
|
