This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/83239] False positive from -Wstringop-overflow on simple std::vector code
- From: "glisse at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Fri, 01 Dec 2017 11:34:42 +0000
- Subject: [Bug c++/83239] False positive from -Wstringop-overflow on simple std::vector code
- Auto-submitted: auto-generated
- References: <bug-83239-4@http.gcc.gnu.org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83239
--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> ---
It is strongly related to the other PRs. IMO, all warnings like
maybe-uninitialized should move from Wall to Wextra, but that's going to be a
hard sell.
In the mean time, we fail to find some VRP optimizations that might help with
the warning.
_1 = _186 + 18446744073709551614;
if (_1 > _186)
_186: [3, +INF]
Possibly because we haven't turned it into ADD_OVERFLOW yet (or because we are
missing a specific transform, or because we have one in match.pd but don't call
it, or because !single_use, I didn't check), we don't fold that to false.