This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/43270] array-bounds false negative
- From: "matt at use dot net" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 5 Mar 2010 23:24:52 -0000
- Subject: [Bug tree-optimization/43270] array-bounds false negative
- References: <bug-43270-8137@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #6 from matt at use dot net 2010-03-05 23:24 -------
I see your point about supporting existing code that uses this feature in the
way you describe.
I modified the example to not rely upon zero-length array and have attached it.
(The bug in the original code didn't use it that way either, I was just trying
to make the reproducuble test case simpler.) GCC 4.4.1 and 4.5.0.20100304 still
do not warn about the array-bounds issue. PC-Lint now does warn about it.
--
matt at use dot net changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |UNCONFIRMED
Resolution|WONTFIX |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43270