From: uz <uz@b7a2c559-68d2-44c3-8de9-860c34a00d81>
Date: Sun, 13 Sep 2009 14:36:16 +0000 (+0000)
Subject: Fixed parsing a labeled-statement: A label is always part of a statement, it
X-Git-Tag: V2.13.0rc1~90
X-Git-Url: https://git.sur5r.net/?p=cc65;a=commitdiff_plain;h=32e2eb3fad388453e48c38b5411d08f1af3a6ce8

Fixed parsing a labeled-statement: A label is always part of a statement, it
is not itself one.


git-svn-id: svn://svn.cc65.org/cc65/trunk@4166 b7a2c559-68d2-44c3-8de9-860c34a00d81
---

diff --git a/src/cc65/stmt.c b/src/cc65/stmt.c
index 11ceadc4c..977971b01 100644
--- a/src/cc65/stmt.c
+++ b/src/cc65/stmt.c
@@ -544,101 +544,100 @@ int Statement (int* PendingToken)
 	*PendingToken = 0;
     }
 
-    /* Check for a label */
-    if (CurTok.Tok == TOK_IDENT && NextTok.Tok == TOK_COLON) {
-
-	/* Special handling for a label */
+    /* Check for a label. A label is always part of a statement, it does not
+     * replace one.
+     */
+    while (CurTok.Tok == TOK_IDENT && NextTok.Tok == TOK_COLON) {
+	/* Handle the label */
 	DoLabel ();
         CheckLabelWithoutStatement ();
+    }
 
-    } else {
+    switch (CurTok.Tok) {
 
-     	switch (CurTok.Tok) {
-
-     	    case TOK_LCURLY:
-	        NextToken ();
-		GotBreak = CompoundStatement ();
-       	        CheckTok (TOK_RCURLY, "`{' expected", PendingToken);
-	        return GotBreak;
-
-     	    case TOK_IF:
-     	    	return IfStatement ();
-
-     	    case TOK_WHILE:
-     	    	WhileStatement ();
-	    	break;
-
-	    case TOK_DO:
-	    	DoStatement ();
-	    	break;
-
-	    case TOK_SWITCH:
-	    	SwitchStatement ();
-	    	break;
-
-	    case TOK_RETURN:
-	    	ReturnStatement ();
-	    	CheckSemi (PendingToken);
-	    	return 1;
-
-	    case TOK_BREAK:
-		BreakStatement ();
-       	    	CheckSemi (PendingToken);
-		return 1;
-
-	    case TOK_CONTINUE:
-		ContinueStatement ();
-	    	CheckSemi (PendingToken);
-		return 1;
-
-	    case TOK_FOR:
-		ForStatement ();
-		break;
-
-	    case TOK_GOTO:
-		GotoStatement ();
-	    	CheckSemi (PendingToken);
-		return 1;
-
-	    case TOK_SEMI:
-		/* Ignore it */
-		CheckSemi (PendingToken);
-		break;
-
-	    case TOK_PRAGMA:
-		DoPragma ();
-     		break;
-
-            case TOK_CASE:
-                CaseLabel ();
-                CheckLabelWithoutStatement ();
-                break;
-
-            case TOK_DEFAULT:
-                DefaultLabel ();
-                CheckLabelWithoutStatement ();
-                break;
-
-	    default:
-                /* Remember the current code position */
-                GetCodePos (&Start);
-	        /* Actual statement */
-                ExprWithCheck (hie0, &Expr);
-                /* Load the result only if it is an lvalue and the type is
-                 * marked as volatile. Otherwise the load is useless.
-                 */
-                if (ED_IsLVal (&Expr) && IsQualVolatile (Expr.Type)) {
-                    LoadExpr (CF_NONE, &Expr);
-                }
-                /* If the statement didn't generate code, and is not of type
-                 * void, emit a warning.
-                 */
-                GetCodePos (&End);
-                if (CodeRangeIsEmpty (&Start, &End) && !IsTypeVoid (Expr.Type)) {
-                    Warning ("Statement has no effect");
-                }
-	    	CheckSemi (PendingToken);
-	}
+        case TOK_LCURLY:
+            NextToken ();
+            GotBreak = CompoundStatement ();
+            CheckTok (TOK_RCURLY, "`{' expected", PendingToken);
+            return GotBreak;
+
+        case TOK_IF:
+            return IfStatement ();
+
+        case TOK_WHILE:
+            WhileStatement ();
+            break;
+
+        case TOK_DO:
+            DoStatement ();
+            break;
+
+        case TOK_SWITCH:
+            SwitchStatement ();
+            break;
+
+        case TOK_RETURN:
+            ReturnStatement ();
+            CheckSemi (PendingToken);
+            return 1;
+
+        case TOK_BREAK:
+            BreakStatement ();
+            CheckSemi (PendingToken);
+            return 1;
+
+        case TOK_CONTINUE:
+            ContinueStatement ();
+            CheckSemi (PendingToken);
+            return 1;
+
+        case TOK_FOR:
+            ForStatement ();
+            break;
+
+        case TOK_GOTO:
+            GotoStatement ();
+            CheckSemi (PendingToken);
+            return 1;
+
+        case TOK_SEMI:
+            /* Ignore it */
+            CheckSemi (PendingToken);
+            break;
+
+        case TOK_PRAGMA:
+            DoPragma ();
+            break;
+
+        case TOK_CASE:
+            CaseLabel ();
+            CheckLabelWithoutStatement ();
+            break;
+
+        case TOK_DEFAULT:
+            DefaultLabel ();
+            CheckLabelWithoutStatement ();
+            break;
+
+        default:
+            /* Remember the current code position */
+            GetCodePos (&Start);
+            /* Actual statement */
+            ExprWithCheck (hie0, &Expr);
+            /* Load the result only if it is an lvalue and the type is
+             * marked as volatile. Otherwise the load is useless.
+             */
+            if (ED_IsLVal (&Expr) && IsQualVolatile (Expr.Type)) {
+                LoadExpr (CF_NONE, &Expr);
+            }
+            /* If the statement didn't generate code, and is not of type
+             * void, emit a warning.
+             */
+            GetCodePos (&End);
+            if (CodeRangeIsEmpty (&Start, &End) && !IsTypeVoid (Expr.Type)) {
+                Warning ("Statement has no effect");
+            }
+            CheckSemi (PendingToken);
     }
     return 0;
 }