diff options
| author | jason <jason@138bc75d-0d04-0410-961f-82ee72b054a4> | 2002-02-07 12:36:46 +0000 |
|---|---|---|
| committer | jason <jason@138bc75d-0d04-0410-961f-82ee72b054a4> | 2002-02-07 12:36:46 +0000 |
| commit | 0b5155934a1fda7aaeadf0de7fc3f185ae06b4fa (patch) | |
| tree | 8cd4f3c67ba632a5d3ce43a6e8c23d318f5a686f | |
| parent | 725e950b53768409d0aa070e176a43c0020da2ba (diff) | |
| download | ppe42-gcc-0b5155934a1fda7aaeadf0de7fc3f185ae06b4fa.tar.gz ppe42-gcc-0b5155934a1fda7aaeadf0de7fc3f185ae06b4fa.zip | |
* 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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@49579 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/testsuite/gcc.dg/Wreturn-type2.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/Wreturn-type2.c b/gcc/testsuite/gcc.dg/Wreturn-type2.c new file mode 100644 index 00000000000..d57a9146517 --- /dev/null +++ b/gcc/testsuite/gcc.dg/Wreturn-type2.c @@ -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" } */ |
