diff options
| author | Andrew Pinski <pinskia@physics.uc.edu> | 2005-08-19 05:41:13 +0000 |
|---|---|---|
| committer | Andrew Pinski <pinskia@gcc.gnu.org> | 2005-08-18 22:41:13 -0700 |
| commit | 1581a9a177e82ba05a1769eebcf55a038569d6d3 (patch) | |
| tree | 768da710870698492b6e6dbb4f9dfcada88d6f73 /gcc/gimple-low.c | |
| parent | c0975bc7053bb733ac32f4079ee1ff29ca24fa43 (diff) | |
| download | gcc-1581a9a177e82ba05a1769eebcf55a038569d6d3.tar.gz | |
re PR c++/20624 (wrong "control reaches end of non-void function" warning)
2005-08-19 Andrew Pinski <pinskia@physics.uc.edu>
PR middle-end/20624
* g++.dg/warn/Wreturn-3.C: New test
2005-08-19 Andrew Pinski <pinskia@physics.uc.edu>
PR middle-end/20624
* gimple-low.c (block_may_fallthru): Handle CLEANUP_POINT_EXPR by
looking past it.
From-SVN: r103268
Diffstat (limited to 'gcc/gimple-low.c')
| -rw-r--r-- | gcc/gimple-low.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/gimple-low.c b/gcc/gimple-low.c index 3bece1ac0d2..5c7c27f7e13 100644 --- a/gcc/gimple-low.c +++ b/gcc/gimple-low.c @@ -368,6 +368,9 @@ block_may_fallthru (tree block) case CALL_EXPR: /* Functions that do not return do not fall through. */ return (call_expr_flags (stmt) & ECF_NORETURN) == 0; + + case CLEANUP_POINT_EXPR: + return block_may_fallthru (TREE_OPERAND (stmt, 0)); default: return true; |