PR other/62008

gcc/c/
	* c-parser.c (c_parser_array_notation): Check for correct
	type of an array added.

gcc/cp/
	* cp-array-notation.c (build_array_notation_ref): Added correct
	handling of case with incorrect array.

gcc/testsuite/
	* c-c++-common/cilk-plus/AN/pr62008.c: New test.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@214305 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 7 insertions, 0 deletions

diff --git a/gcc/c/c-parser.c b/gcc/c/c-parser.c
index d5887972088..d634bb1795f 100644
--- a/gcc/c/c-parser.c
+++ b/gcc/c/c-parser.c
@@ -14170,6 +14170,13 @@ c_parser_array_notation (location_t loc, c_parser *parser, tree initial_index,
   
   array_type = TREE_TYPE (array_value);
   gcc_assert (array_type);
+  if (TREE_CODE (array_type) != ARRAY_TYPE
+      && TREE_CODE (array_type) != POINTER_TYPE)
+    {
+      error_at (loc, "base of array section must be pointer or array type");
+      c_parser_skip_until_found (parser, CPP_CLOSE_SQUARE, NULL);
+      return error_mark_node;
+    }
   type = TREE_TYPE (array_type);
   token = c_parser_peek_token (parser);