re PR c/68320 (internal compiler error: in declspecs_add_type)
authorMarek Polacek <polacek@redhat.com>
Fri, 13 Nov 2015 14:05:59 +0000 (14:05 +0000)
committerMarek Polacek <mpolacek@gcc.gnu.org>
Fri, 13 Nov 2015 14:05:59 +0000 (14:05 +0000)
PR c/68320
* c-parser.c (c_parser_for_statement): Treat unknown tokens as IDs.

* gcc.dg/pr68320.c: New test.

From-SVN: r230322

gcc/c/ChangeLog
gcc/c/c-parser.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/pr68320.c [new file with mode: 0644]

index 9b1fdc9343d3a117fad4d75df72f5192f37c64c1..8824f1845cb3bcebdeed00fd5e1b0ccf3f642262 100644 (file)
@@ -1,3 +1,8 @@
+2015-11-13  Marek Polacek  <polacek@redhat.com>
+
+       PR c/68320
+       * c-parser.c (c_parser_for_statement): Treat unknown tokens as IDs.
+
 2015-11-13  David Malcolm  <dmalcolm@redhat.com>
 
        * c-typeck.c: Include spellcheck.h.
index c01d651b29742520422c8e157ee0f06a7a0e64cb..82d5ce5f9ffcfdf6d4bf5c76103ef568531851e1 100644 (file)
@@ -5757,12 +5757,12 @@ c_parser_for_statement (c_parser *parser, bool ivdep)
     {
       c_token *token = c_parser_peek_token (parser);
       tree decl = lookup_name (token->value);
-      if (decl == NULL_TREE)
-       ;
+      if (decl == NULL_TREE || VAR_P (decl))
+       /* If DECL is null, we don't know what this token might be.  Treat
+          it as an ID for better diagnostics; we'll error later on.  */
+       token->id_kind = C_ID_ID;
       else if (TREE_CODE (decl) == TYPE_DECL)
        token->id_kind = C_ID_TYPENAME;
-      else if (VAR_P (decl))
-       token->id_kind = C_ID_ID;
     }
 
   token_indent_info next_tinfo
index 539b58037dc0845a096590b76a2890c50e0d31ff..35e568c882bcbe3c7e75dc1c9ff7d1b0589f8f36 100644 (file)
@@ -1,3 +1,8 @@
+2015-11-13  Marek Polacek  <polacek@redhat.com>
+
+       PR c/68320
+       * gcc.dg/pr68320.c: New test.
+
 2015-11-13  Nathan Sidwell  <nathan@codesourcery.com>
 
        * c-c++-common/goacc/data-default-1.c: Correct expected
diff --git a/gcc/testsuite/gcc.dg/pr68320.c b/gcc/testsuite/gcc.dg/pr68320.c
new file mode 100644 (file)
index 0000000..7060af8
--- /dev/null
@@ -0,0 +1,67 @@
+/* PR c/68320 */
+/* { dg-do compile } */
+/* { dg-options "" } */
+
+void
+fn1 (void)
+{
+  for (typedef int T;;) /* { dg-error "declaration of non-variable" } */
+    if (1)
+      ;
+  T x; /* { dg-error "unknown type name" } */
+}
+
+void
+fn2 (int i)
+{
+  for (typedef int T;;) /* { dg-error "declaration of non-variable" } */
+    if (1)
+      i = 5;
+  T x; /* { dg-error "unknown type name" } */
+}
+
+void
+fn3 (void)
+{
+  for (typedef int T;;) /* { dg-error "declaration of non-variable" } */
+    if (1)
+      {
+      }
+  T *x; /* { dg-error "unknown type name" } */
+}
+
+void
+fn4 (void)
+{
+  for (typedef int T;;) /* { dg-error "declaration of non-variable" } */
+    if (1)
+      ;
+  T, T; /* { dg-error "undeclared" } */
+}
+
+void
+fn5 (void)
+{
+  for (typedef int T;;) /* { dg-error "declaration of non-variable" } */
+    if (1)
+      ;
+  T = 10; /* { dg-error "undeclared" } */
+}
+
+void
+fn6 (void)
+{
+  for (typedef int T;;) /* { dg-error "declaration of non-variable" } */
+    if (1)
+      ;
+  T[0]; /* { dg-error "undeclared" } */
+}
+
+void
+fn7 (void)
+{
+  for (typedef int T;;) /* { dg-error "declaration of non-variable" } */
+    if (1)
+      ;
+  T (); /* { dg-warning "implicit declaration" } */
+}