From c1b83cc99b06fd0ad55fd1507eefea919f235fa8 Mon Sep 17 00:00:00 2001 From: Kriang Lerdsuwanakij Date: Sun, 14 Dec 2003 11:06:35 +0000 Subject: 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 --- gcc/cp/ChangeLog | 6 ++++++ gcc/cp/decl.c | 1 + gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/g++.dg/warn/noreturn-3.C | 9 +++++++++ 4 files changed, 21 insertions(+) create mode 100644 gcc/testsuite/g++.dg/warn/noreturn-3.C (limited to 'gcc') 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 + + PR c++/13106 + * decl.c (finish_function): Check if return type is dependent before + issuing no return statement warning. + 2003-12-12 Nathan Sidwell 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 + + PR c++/13106 + * g++.dg/warn/noreturn-3.C: New test. + 2003-12-12 Nathan Sidwell 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 + +// PR c++/13106: No return warning when return type is a dependent type. + +template T dummy() { } -- cgit v1.1