From d6eb1d5d3a5839151357f12e7505213b42574067 Mon Sep 17 00:00:00 2001 From: jason Date: Fri, 16 Feb 2018 16:44:17 +0000 Subject: PR c++/84421 - type-dependent if constexpr * semantics.c (finish_if_stmt_cond): Check type_dependent_expression_p. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@257744 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/cp/semantics.c | 1 + 1 file changed, 1 insertion(+) (limited to 'gcc/cp/semantics.c') diff --git a/gcc/cp/semantics.c b/gcc/cp/semantics.c index f0cee68e46f..35569d0cb0d 100644 --- a/gcc/cp/semantics.c +++ b/gcc/cp/semantics.c @@ -731,6 +731,7 @@ finish_if_stmt_cond (tree cond, tree if_stmt) { cond = maybe_convert_cond (cond); if (IF_STMT_CONSTEXPR_P (if_stmt) + && !type_dependent_expression_p (cond) && require_constant_expression (cond) && !value_dependent_expression_p (cond)) { -- cgit v1.2.1