From: Andrew Pinski <pinskia@physics.uc.edu>
Date: Fri, 19 Aug 2005 05:41:13 +0000 (+0000)
Subject: re PR c++/20624 (wrong "control reaches end of non-void function" warning)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1581a9a177e82ba05a1769eebcf55a038569d6d3;p=gcc.git

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
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a706bb2d949..16ae2922c14 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+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.
+
 2005-08-18  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
 
 	* collect2.c (dup2): Delete.
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;
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1f0c092abb5..c8dfcfb319c 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2005-08-19  Andrew Pinski  <pinskia@physics.uc.edu>
+
+	PR middle-end/20624
+	* g++.dg/warn/Wreturn-3.C: New test
+
 2005-08-18  Dorit Nuzman  <dorit@il.ibm.com>
 
 	PR tree-optimization/22228
diff --git a/gcc/testsuite/g++.dg/warn/Wreturn-3.C b/gcc/testsuite/g++.dg/warn/Wreturn-3.C
new file mode 100644
index 00000000000..822dd4fdd3e
--- /dev/null
+++ b/gcc/testsuite/g++.dg/warn/Wreturn-3.C
@@ -0,0 +1,18 @@
+// { dg-options "-Wreturn-type" }
+// PR c++/20624
+
+struct fpos {
+ fpos(int __pos) {}
+};
+struct g {
+  g();
+  ~g();
+};
+fpos seekoff(int b, int c)
+{
+  g __buf;
+  if (b != -1 && c >= 0)
+    return fpos(-1);
+  else
+    return fpos(-1);
+}