Index: src/CodeGen/CodeGenerator.cc
===================================================================
--- src/CodeGen/CodeGenerator.cc	(revision a16764a6fbfe44300fc8834400a31c89befda091)
+++ src/CodeGen/CodeGenerator.cc	(revision 643c6b943be1c4a0bc15604b1d1af2e9eb93875d)
@@ -928,5 +928,18 @@
 			output << "continue";
 			break;
+		  case BranchStmt::FallThrough:
+		  case BranchStmt::FallThroughDefault:
+			assertf( ! genC, "fallthru should not reach code generation." );
+		  output << "fallthru";
+			break;
 		} // switch
+		// print branch target for labelled break/continue/fallthru in debug mode
+		if ( ! genC && branchStmt->get_type() != BranchStmt::Goto ) {
+			if ( ! branchStmt->get_target().empty() ) {
+				output << " " << branchStmt->get_target();
+			} else if ( branchStmt->get_type() == BranchStmt::FallThrough ) {
+				output << " default";
+			}
+		}
 		output << ";";
 	}