This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/31878] Spurious warnings with -Wreturn-type due to not performing CCP/VRP in the front-end
- From: "manu at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 30 Dec 2009 01:43:36 -0000
- Subject: [Bug middle-end/31878] Spurious warnings with -Wreturn-type due to not performing CCP/VRP in the front-end
- References: <bug-31878-6477@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #9 from manu at gcc dot gnu dot org 2009-12-30 01:43 -------
(In reply to comment #8)
So the answer is that Clang also warns. I was wondering whether the minimal ccp
propagation that Clang does in the front-end would catch this. I guess the
answer is no.
As for GCC, the general wisdom is to not move more warnings to the middle-end
unless really awful false positives/negatives, and to not perform any expensive
optimizations at -O0. So unless someone comes up with a more convincing
testcase, or an inexpensive way to detect this at -O0, this won't be fixed.
Closing then, we have far enough real bugs to worry about.
--
manu at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |WONTFIX
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31878