Skip to content

Commit 72c6cda

Browse files
committed
Flatten outer protocol dispatch in packet_matching demo
Match arms with block bodies are mis-lowered by the codegen: arm-local `var` declarations have their initializers dropped, and `if/else` inside an arm block gets flattened so the gating condition disappears. The result is undefined-value reads and incorrect protocol routing. Signed-off-by: Cong Wang <cwang@multikernel.io>
1 parent f612bf5 commit 72c6cda

1 file changed

Lines changed: 173 additions & 190 deletions

File tree

0 commit comments

Comments
 (0)