Index: src/ControlStruct/MultiLevelExit.cpp
===================================================================
--- src/ControlStruct/MultiLevelExit.cpp	(revision 299bd989a191c9c9b32e13f479abcab4bd9d5396)
+++ src/ControlStruct/MultiLevelExit.cpp	(revision 34831854737ea6010e731cecfe00466ced62cf8a)
@@ -499,9 +499,8 @@
 		}
 
+		// 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 );