[gcc/devel/omp/gcc-9] PR c++/91740 - ICE with constexpr call and ?: in ARRAY_REF.

[Tobias Burnus]

https://gcc.gnu.org/g:b3416a9a6256daa997cb59fe0b17fefe5e712a2f

commit b3416a9a6256daa997cb59fe0b17fefe5e712a2f
Author: Marek Polacek <polacek@redhat.com>
Date:   Tue Oct 8 13:38:35 2019 +0000

    PR c++/91740 - ICE with constexpr call and ?: in ARRAY_REF.
    
    	* pt.c (build_non_dependent_expr): Call build_non_dependent_expr for
    	the first operand.
    
    From-SVN: r276699

Diff:
---
 gcc/cp/ChangeLog                         | 9 +++++++++
 gcc/cp/pt.c                              | 2 +-
 gcc/testsuite/g++.dg/cpp1y/var-templ63.C | 5 +++++
 3 files changed, 15 insertions(+), 1 deletion(-)

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 297eb6f..9a9dc43 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,12 @@
+2019-10-08  Marek Polacek  <polacek@redhat.com>
+
+	Backported from mainline
+	2019-09-15  Marek Polacek  <polacek@redhat.com>
+
+	PR c++/91740 - ICE with constexpr call and ?: in ARRAY_REF.
+	* pt.c (build_non_dependent_expr): Call build_non_dependent_expr for
+	the first operand.
+
 2019-09-28  Marek Polacek  <polacek@redhat.com>
 
 	Backported from mainline
diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 34d440c..442e01bf 100644
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -26715,7 +26715,7 @@ build_non_dependent_expr (tree expr)
   if (TREE_CODE (expr) == COND_EXPR)
     return build3 (COND_EXPR,
 		   TREE_TYPE (expr),
-		   TREE_OPERAND (expr, 0),
+		   build_non_dependent_expr (TREE_OPERAND (expr, 0)),
 		   (TREE_OPERAND (expr, 1)
 		    ? build_non_dependent_expr (TREE_OPERAND (expr, 1))
 		    : build_non_dependent_expr (TREE_OPERAND (expr, 0))),
diff --git a/gcc/testsuite/g++.dg/cpp1y/var-templ63.C b/gcc/testsuite/g++.dg/cpp1y/var-templ63.C
new file mode 100644
index 0000000..a65f53b
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1y/var-templ63.C
@@ -0,0 +1,5 @@
+// PR c++/91740 - ICE with constexpr call and ?: in ARRAY_REF.
+// { dg-do compile { target c++14 } }
+
+constexpr bool f(const char*) { return true; }
+template<typename T> const char c = "FOO"[f("BAR") ? 1 : 0];