diff options
author | Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net> | 2003-12-14 11:06:35 +0000 |
---|---|---|
committer | Kriang Lerdsuwanakij <lerdsuwa@gcc.gnu.org> | 2003-12-14 11:06:35 +0000 |
commit | c1b83cc99b06fd0ad55fd1507eefea919f235fa8 (patch) | |
tree | a916eaf5a36caa97b23dd27e7a70833cf1b80d6e | |
parent | d8f95bed5f93bfcf5917cebf399debfcc7d2fda8 (diff) | |
download | gcc-c1b83cc99b06fd0ad55fd1507eefea919f235fa8.zip gcc-c1b83cc99b06fd0ad55fd1507eefea919f235fa8.tar.gz gcc-c1b83cc99b06fd0ad55fd1507eefea919f235fa8.tar.bz2 |
re PR c++/13106 (Wrong warning "no return statement ..." for void template function)
PR c++/13106
* decl.c (finish_function): Check if return type is dependent before
issuing no return statement warning.
* g++.dg/warn/noreturn-3.C: New test.
From-SVN: r74616
-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() { } |