This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/13000] [3.4 Regression] [unit-at-a-time] Using -O2 cannot detect missing return statement in a function
- From: "ian at airs dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 21 Jan 2005 19:14:24 -0000
- Subject: [Bug tree-optimization/13000] [3.4 Regression] [unit-at-a-time] Using -O2 cannot detect missing return statement in a function
- References: <20031110230703.13000.cheng@powertv.com>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From ian at airs dot com 2005-01-21 19:14 -------
Note that if we do move to a better solution, i.e., building a CFG for inline
functions, we should remove the patch to c_finish_bc_stmt in c-typeck.c. It
prevents -Wunreachable from ever warning about an unreachable break or continue
statement (we currently do not issue a warning about those statements anyhow).
We may want to consider removing the patch to shortcut_cond_expr in gimplify.c,
although that one is relatively harmless.
And of course if we build a CFG, we should adjust the patch to
expand_call_inline, although that will probably be pretty obvious.
See the e-mail thread starting here:
http://gcc.gnu.org/ml/gcc-patches/2005-01/msg01223.html
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13000