From d6eb1d5d3a5839151357f12e7505213b42574067 Mon Sep 17 00:00:00 2001
From: jason <jason@138bc75d-0d04-0410-961f-82ee72b054a4>
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/testsuite/g++.dg/cpp1z/constexpr-if14.C | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/cpp1z/constexpr-if14.C

(limited to 'gcc/testsuite/g++.dg/cpp1z/constexpr-if14.C')

diff --git a/gcc/testsuite/g++.dg/cpp1z/constexpr-if14.C b/gcc/testsuite/g++.dg/cpp1z/constexpr-if14.C
new file mode 100644
index 00000000000..f6cc39a0c2f
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1z/constexpr-if14.C
@@ -0,0 +1,14 @@
+// PR c++/84421
+// { dg-options -std=c++17 }
+
+struct A{
+  constexpr operator bool() const { return true; }
+};
+
+int main(){
+  auto f = [](auto v){
+    if constexpr(v){}
+  };
+  A a;
+  f(a);
+}
-- 
cgit v1.2.1