Trying to fuzz a variant of fig1 from Morisset et al's PLDI13 paper where we substitute a break for the return NULL statement has revealed an interesting corner case not exercised by Memalloy-generated code: loop surround actions in live code can inadvertently wrap around break and continue statements, changing their semantics.
The fix here is conceptually straightforward: add path filters that forbid the construction of such surrounds.
Trying to fuzz a variant of fig1 from Morisset et al's PLDI13 paper where we substitute a
breakfor thereturn NULLstatement has revealed an interesting corner case not exercised by Memalloy-generated code: loop surround actions in live code can inadvertently wrap aroundbreakandcontinuestatements, changing their semantics.The fix here is conceptually straightforward: add path filters that forbid the construction of such surrounds.