OSDN Git Service

* c-decl.c (finish_function): Warn about a non-void function with
authorjason <jason@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 7 Feb 2002 12:36:46 +0000 (12:36 +0000)
committerjason <jason@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 7 Feb 2002 12:36:46 +0000 (12:36 +0000)
        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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@49579 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/testsuite/gcc.dg/Wreturn-type2.c [new file with mode: 0644]

diff --git a/gcc/testsuite/gcc.dg/Wreturn-type2.c b/gcc/testsuite/gcc.dg/Wreturn-type2.c
new file mode 100644 (file)
index 0000000..d57a914
--- /dev/null
@@ -0,0 +1,7 @@
+/* Test for cases that should not get the unconditional warning about
+   missing return.  */
+/* { dg-do compile } */
+
+f() {}                         /* { dg-bogus "" "no return warning" } */
+int g() { abort (); }          /* { dg-bogus "" "no return warning" } */
+int main() {}                  /* { dg-bogus "" "no return warning" } */