[ASDAlexander77]

continue nolabel; and break nolabel; inside a loop compiled with no diagnostic: the jump op carried a label nothing matched.

Fix: MLIRGen keeps the labels of the statements around the code it is generating (activeLabels; pushed in mlirGen(LabeledStatement), cleared for a function body, since a jump can't leave a function) and rejects a labeled break/continue whose label isn't one of them.

Repro (diagnostic-location/continue_label.ts, break_label.ts):

function main() {
    outer: for (let i = 0; i < 3; i++) {
        for (let j = 0; j < 3; j++) {
            if (j == 1) continue outer;
            continue nolabel;   // 7:13: error: A 'continue' statement can only jump to a label of an enclosing statement
        }
    }
}

break_label.ts has a break outer inside an arrow function inside the labeled loop. That is an error, because the label is outside the function. A break outer after the arrow still compiles. The tests fail if a valid jump is reported.

Kept on purpose: continue lbl to a labeled block starts the block again (tests/00break_continue.ts test_label). TypeScript rejects it, but this compiler supports it deliberately, so only unknown labels are errors.

Not fixed, found while testing: a: b: for (...) { continue a; } loops forever (the loop's increment is skipped). That codegen bug was there before this PR.

ctest -C Release -j 8 --timeout 300: 100% passed, 0 failed (4093 tests on this branch).

🤖 Generated with Claude Code