Let a switch arm end in a jump or an abort - #235

Draft

nikswamy wants to merge 5 commits into

nswamy/pal-pr20-switch-default-and-if-chainfrom

nswamy/pal-pr21-switch-jump-abort

Commits on Aug 18, 2026

Lower a statically-false assertion to unreachable ()

nikswamy
and
Copilot
committed
6b0e40f
Translate __builtin_unreachable

nikswamy
and
Copilot
committed
36acf4c
Merge branch 'nswamy/pal-pr18-unreachable' into nswamy/pal-pr21-switch-jump-abort
nikswamy
committed
e6193e9
Let a switch arm end in a jump, and stop encoding do-while(0) as a loop

nikswamy
and
Copilot
committed
00983ef
Let a switch arm end in an abort with no jump after it

nikswamy
and
Copilot
committed
9b48cec