Changeset 9506c70 for src/ControlStruct

Timestamp:

Feb 24, 2025, 4:58:06 PM (7 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

b8b64c34

Parents:

4be0117

Message:

Stricter BranchStmt code generation that should prevent some of the warning cases removed in the concurrency test update. This also caught a bad case in the control flow handling code.

File:

• src/ControlStruct/MultiLevelExit.cpp (modified) (1 diff)

src/ControlStruct/MultiLevelExit.cpp

@@ -499 +499 @@
                 }
 
+                // The end of the last case is always immediately before the first
+                // statement after the switch, so we can jump here as a break.
                 auto mutCase = mutStmt->cases.back().get_and_mutate();
-
-                Label label( mutCase->location, "breakLabel" );
-                auto branch = new BranchStmt( mutCase->location, BranchStmt::Break, label );
-                branch->labels.push_back( entry.useBreakExit() );
+                auto branch = labelledNullStmt( mutCase->location, entry.useBreakExit() );
                 mutCase->stmts.push_back( branch );