re PR c++/71182 (parser.c cp_lexer_previous_token sanitizer detects member call on...

	PR c++/71182
	* parser.c (cp_lexer_previous_token): Use vec_safe_address in the
	assertion, as lexer->buffer may be NULL.

	* g++.dg/cpp0x/pr71182.C: New test.

From-SVN: r244070

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 48061a0..1629420 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2017-01-04  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/71182
+       * parser.c (cp_lexer_previous_token): Use vec_safe_address in the
+       assertion, as lexer->buffer may be NULL.
+
 2017-01-04  Marek Polacek  <polacek@redhat.com>
 
        PR c++/77545

diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c
index b94270d..b4b8f13 100644 (file)
--- a/gcc/cp/parser.c
+++ b/gcc/cp/parser.c
@@ -766,7 +766,7 @@ cp_lexer_previous_token (cp_lexer *lexer)
   /* Skip past purged tokens.  */
   while (tp->purged_p)
     {
-      gcc_assert (tp != lexer->buffer->address ());
+      gcc_assert (tp != vec_safe_address (lexer->buffer));
       tp--;
     }
 

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5a3da3b..53ba248 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-01-04  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/71182
+       * g++.dg/cpp0x/pr71182.C: New test.
+
 2017-01-04  Kelvin Nilsen  <kelvin@gcc.gnu.org>
 
        PR target/78056

diff --git a/gcc/testsuite/g++.dg/cpp0x/pr71182.C b/gcc/testsuite/g++.dg/cpp0x/pr71182.C
new file mode 100644 (file)
index 0000000..c5c0c54
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/pr71182.C
@@ -0,0 +1,12 @@
+// PR c++/71182
+// { dg-do compile { target c++11 } }
+
+class A {
+  template <typename> void As();
+};
+template <typename T> class B : A {
+  void f() {
+    A *g ;
+    g ? g->As<T>() : nullptr;
+  }
+};