diff options
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/cp/ChangeLog | 6 | ||||
-rw-r--r-- | gcc/cp/decl.c | 1 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/g++.dg/warn/noreturn-3.C | 9 |
4 files changed, 21 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 4b9f5cb..31d16d2 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2003-12-14 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net> + + PR c++/13106 + * decl.c (finish_function): Check if return type is dependent before + issuing no return statement warning. + 2003-12-12 Nathan Sidwell <nathan@codesourcery.com> PR c++/13118 diff --git a/gcc/cp/decl.c b/gcc/cp/decl.c index f205f74..539bf19 100644 --- a/gcc/cp/decl.c +++ b/gcc/cp/decl.c @@ -10819,6 +10819,7 @@ finish_function (int flags) /* Complain if there's just no return statement. */ if (warn_return_type && TREE_CODE (TREE_TYPE (fntype)) != VOID_TYPE + && !dependent_type_p (TREE_TYPE (fntype)) && !current_function_returns_value && !current_function_returns_null /* Don't complain if we abort or throw. */ && !current_function_returns_abnormally diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index cabc671..cb89b4f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2003-12-14 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net> + + PR c++/13106 + * g++.dg/warn/noreturn-3.C: New test. + 2003-12-12 Nathan Sidwell <nathan@codesourcery.com> PR c++/13118 diff --git a/gcc/testsuite/g++.dg/warn/noreturn-3.C b/gcc/testsuite/g++.dg/warn/noreturn-3.C new file mode 100644 index 0000000..6680145 --- /dev/null +++ b/gcc/testsuite/g++.dg/warn/noreturn-3.C @@ -0,0 +1,9 @@ +// { dg-do compile } +// { dg-options "-Wall" } + +// Origin: stip@mathematik.uni-ulm.de +// Andrew Pinski <pinskia@gcc.gnu.org> + +// PR c++/13106: No return warning when return type is a dependent type. + +template <typename T> T dummy() { } |