From: Jason Merrill <jason@gcc.gnu.org>
Date: Thu, 7 Feb 2002 12:22:10 +0000 (-0500)
Subject: c-decl.c (finish_function): Warn about a non-void function with no return statement... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a6f3addd0bf743047a29a98235ecde07b41e9790;p=gcc.git

c-decl.c (finish_function): Warn about a non-void function with no return statement and no abnormal exit.

        * c-decl.c (finish_function): Warn about a non-void function with
        no return statement and no abnormal exit.
        (current_function_returns_abnormally): New variable.
        (start_function): Clear it.
        (struct c_language_function): Add returns_abnormally.
        (push_c_function_context): Save it.
        (pop_c_function_context): Restore it.
        (builtin_function): Set TREE_THIS_VOLATILE on return fns.
        (grokdeclarator): Set C_FUNCTION_IMPLICIT_INT on functions without
        an explicit return type.
        * c-tree.h: Declare current_function_returns_abnormally.
        (C_FUNCTION_IMPLICIT_INT): New macro.
        * c-typeck.c (build_function_call): Set it.
        (c_expand_return): Set current_function_returns_value even if the
        value is erroneous.

From-SVN: r49577
---

diff --git a/gcc/testsuite/gcc.dg/Wreturn-type.c b/gcc/testsuite/gcc.dg/Wreturn-type.c
new file mode 100644
index 00000000000..a122e5291f6
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/Wreturn-type.c
@@ -0,0 +1,5 @@
+/* PR c++/4872 */
+/* { dg-do compile } */
+/* { dg-options "-Wreturn-type" } */
+
+static inline int f() {}     /* { dg-warning "return" "missing return" } */