This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/31058] overflow warnings should not be enabled with -Wall
- From: "mueller at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 7 Mar 2007 22:03:28 -0000
- Subject: [Bug middle-end/31058] overflow warnings should not be enabled with -Wall
- References: <bug-31058-12049@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #18 from mueller at gcc dot gnu dot org 2007-03-07 22:03 -------
IIRC there are some cases that are only caught in the 2nd vrp run. It is still
a possibility if this bug cannot be fixed otherwise.
However, I don't see the issue with this testcase.
a) its not a flex array
b) the unrolled loop produces out of bounds accesses
c) hence, the unrolled version cannot ever be used
d) it shouldn't be produced in the first place.
we can turn this bug about a false positive warning into a code bloat
regression by removing the warning (or disabling it from -Wall). That doesn't
fix it though.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31058