[Bug middle-end/83239] False positive from -Wstringop-overflow on simple std::vector code

[msebor at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83239

--- Comment #15 from Martin Sebor <msebor at gcc dot gnu.org> ---
Author: msebor
Date: Sat Dec 16 22:37:22 2017
New Revision: 255753

URL: https://gcc.gnu.org/viewcvs?rev=255753&root=gcc&view=rev
Log:
PR tree-optimization/83239 - False positive from -Wstringop-overflow
on simple std::vector code

libstdc++/CHangeLog:
        * include/bits/vector.tcc (vector::_M_default_append): Assert
        invariant to generate better code.

gcc/testsuite/ChangeLog:
        * g++.dg/pr83239.C: New test case.

Added:
    trunk/gcc/testsuite/g++.dg/pr83239.C
Modified:
    trunk/gcc/testsuite/ChangeLog
    trunk/libstdc++-v3/ChangeLog
    trunk/libstdc++-v3/include/bits/vector.tcc