aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarek Polacek <polacek@redhat.com>2017-02-10 16:32:19 +0000
committerMarek Polacek <mpolacek@gcc.gnu.org>2017-02-10 16:32:19 +0000
commit6f4f30bf3142fe3454345be587b373aa457078d3 (patch)
tree3f0ced92601fc57e4a20ae38ffb0506283a6b3a8
parent67afc9a696110263bb48b3ed55814b4593fe5e2b (diff)
downloadgcc-6f4f30bf3142fe3454345be587b373aa457078d3.zip
gcc-6f4f30bf3142fe3454345be587b373aa457078d3.tar.gz
gcc-6f4f30bf3142fe3454345be587b373aa457078d3.tar.bz2
re PR c++/79435 (ICE on invalid C++ code (with member access into an incomplete type) on x86_64-linux-gnu: Segmentation fault)
PR c++/79435 * pt.c (type_dependent_expression_p): Check if the expression type is null. * g++.dg/cpp1y/pr79435.C: New. From-SVN: r245334
-rw-r--r--gcc/cp/ChangeLog6
-rw-r--r--gcc/cp/pt.c1
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/g++.dg/cpp1y/pr79435.C6
4 files changed, 18 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 0c5d165..7f113ec 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2017-02-10 Marek Polacek <polacek@redhat.com>
+
+ PR c++/79435
+ * pt.c (type_dependent_expression_p): Check if the expression type
+ is null.
+
2017-02-10 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/71737
diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index c23c14c..712fb69 100644
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -23818,6 +23818,7 @@ type_dependent_expression_p (tree expression)
we couldn't determine its length in cp_complete_array_type because
it is dependent. */
if (VAR_P (expression)
+ && TREE_TYPE (expression) != NULL_TREE
&& TREE_CODE (TREE_TYPE (expression)) == ARRAY_TYPE
&& !TYPE_DOMAIN (TREE_TYPE (expression))
&& DECL_INITIAL (expression))
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a1cee1b..0c17a036 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-02-10 Marek Polacek <polacek@redhat.com>
+
+ PR c++/79435
+ * g++.dg/cpp1y/pr79435.C: New.
+
2017-02-10 Christophe Lyon <christophe.lyon@linaro.org>
* gcc.target/aarch64/advsimd-intrinsics/p64_p128.c
diff --git a/gcc/testsuite/g++.dg/cpp1y/pr79435.C b/gcc/testsuite/g++.dg/cpp1y/pr79435.C
new file mode 100644
index 0000000..a9e4671
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1y/pr79435.C
@@ -0,0 +1,6 @@
+// PR c++/79435
+// { dg-do compile { target c++14 } }
+
+struct A;
+extern A a; // { dg-error "'a' has incomplete type" }
+template < int > int f = a.x;