Break and continue support - #3451

Merged

idavis merged 40 commits into

mainfrom

iadavis/break-cont

Jul 28, 2026

Commits on Jul 23, 2026

Initial break and continue support

idavis
authored and
swernli
committed
Add early fixed-point detection for loop condition, body, and local compute kinds

idavis
authored and
swernli
committed
break and continue are now distinguished from function-level divergence

idavis
authored and
swernli
committed
Prevent the language service from crashing by correctly recognizing loops containing an unconditional failure as code that never returns a value.

idavis
authored and
swernli
committed
Update error codes

idavis
authored and
swernli
committed
keep break and continue from causing unexpected side effects

idavis
authored and
swernli
committed
Feedback updates

idavis
authored and
swernli
committed
fixing historical framing of tests

idavis
authored and
swernli
committed
Prove there is one matching return in test for better accuracy.

idavis
authored and
swernli
committed
Fixing user reported issues

idavis
authored and
swernli
committed
Updating snapshot from bug fix

idavis
authored and
swernli
committed
Lint

idavis
authored and
swernli
committed
nested loop controls and divergence are now handled correctly and covered by tests.

idavis
authored and
swernli
committed
now scans assignment places in evaluation order, including indexed-assignment controls

idavis
authored and
swernli
committed
check loop exits based on code that can actually run, handle breaks in delayed function calls and skipped conditions, and catch missing return values when loops may run zero times

idavis
authored and
swernli
committed
recognize returns in nonempty range loops

idavis
authored and
swernli
committed
Update passcontext call with new sig

idavis
authored and
swernli
committed
Clean up some tests

idavis
authored and
swernli
committed
Updating tests

idavis
authored and
swernli
committed
ssertion now distinguishes the skipped middle iteration from any two executions

idavis
authored and
swernli
committed
test now records the visited prefix as 12, rather than the ambiguous sum 3

idavis
authored and
swernli
committed
Handle divergence with known bool values

idavis
authored and
swernli
committed
cover break/continue divergence in operand positions

idavis
authored and
swernli
committed
split the checks into two focused visitors matching the existing convention

idavis
authored and
swernli
committed
Cleaning up comments

idavis
authored and
swernli
committed
Cleaning up mid-impl docs

idavis
authored and
swernli
committed
simplify how the compiler scans for break and continue in loops

idavis
authored and
swernli
committed

Commits on Jul 27, 2026

Extend expr operand lifting
idavis
committed

Commits on Jul 28, 2026