Changeset e6128959 for src/ControlStruct/MultiLevelExit.cpp

Timestamp:

Jul 18, 2024, 9:58:21 PM (6 hours ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

e3260aa1

Parents:

cd1d721 (diff), f107afe (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/ControlStruct/MultiLevelExit.cpp (modified) (4 diffs)

src/ControlStruct/MultiLevelExit.cpp

@@ -84 +84 @@
         bool isFallDefaultTarget() const { return kind == SwitchStmtK; }
 
+        // Check if this entry can be the target of an unlabelled break.
+        bool isUnlabelledBreakTarget() const { return kind <= WhileDoStmtK || kind == SwitchStmtK; }
+
         // These routines set a target as being "used" by a BranchStmt
         Label useContExit() { assert( kind <= WhileDoStmtK ); return useTarget(secondTarget); }
@@ -114 +117 @@
 bool isFallthroughDefaultTarget( const Entry & entry ) {
         return entry.isFallDefaultTarget();
+}
+
+bool isUnlabelledBreakTarget( const Entry & entry ) {
+        return entry.isUnlabelledBreakTarget();
 }
 
@@ -247 +254 @@
         case BranchStmt::Break: {
                 bool isContinue = stmt->kind == BranchStmt::Continue;
-                // Handle unlabeled break and continue.
-                if ( stmt->target.empty() ) {
-                        if ( isContinue ) {
-                                targetEntry = findEnclosingControlStructure( isContinueTarget );
-                        } else {
-                                if ( enclosing_control_structures.empty() ) {
-                                          SemanticError( stmt->location,
-                                                                         "\"break\" outside a loop, \"switch\", or labelled block" );
-                                }
-                                targetEntry = findEnclosingControlStructure( isBreakTarget );
+                // Handle unlabeled continue.
+                if ( isContinue && stmt->target.empty() ) {
+                        targetEntry = findEnclosingControlStructure( isContinueTarget );
+                        if ( targetEntry == enclosing_control_structures.rend() ) {
+                                SemanticError( stmt->location,
+                                               "\"continue\" outside a loop" );
                         }
-                        // Handle labeled break and continue.
+                // Handle unlabeled break.
+                } else if ( stmt->target.empty() ) {
+                        targetEntry = findEnclosingControlStructure( isUnlabelledBreakTarget );
+                        if ( targetEntry == enclosing_control_structures.rend() ) {
+                                SemanticError( stmt->location,
+                                               "\"break\" outside a loop or \"switch\"" );
+                        }
+                // Handle labeled break and continue.
                 } else {
                         // Lookup label in table to find attached control structure.
@@ -265 +275 @@
                                           return entry.stmt == targetStmt;
                                 } );
-                }
-                // Ensure that selected target is valid.
-                if ( targetEntry == enclosing_control_structures.rend() || ( isContinue && ! isContinueTarget( *targetEntry ) ) ) {
-                        SemanticError( stmt->location, toString( (isContinue ? "\"continue\"" : "\"break\""),
-                                                        " target must be an enclosing ", (isContinue ? "loop: " : "control structure: "),
-                                                        stmt->originalTarget ) );
+                        // Ensure that selected target is valid.
+                        if ( targetEntry == enclosing_control_structures.rend()
+                                        || ( isContinue ? !isContinueTarget( *targetEntry ) : !isBreakTarget( *targetEntry ) ) ) {
+                                SemanticError( stmt->location, toString( (isContinue ? "\"continue\"" : "\"break\""),
+                                               " target must be an enclosing ", (isContinue ? "loop: " : "control structure: "),
+                                               stmt->originalTarget ) );
+                        }
                 }
                 break;