Investigate exits to different bytecode

[aleksisch]

Sometimes we can exit to different bytecode from trace and it will remain correct. Right now guard comparison relaxed to "Have this trace exited by guard".

[ligurio]

Is there an example of Lua chunk? Or step by step reproducing of such behaviour?

[aleksisch]

Is there an example of Lua chunk? Or step by step reproducing of such behaviour?

I don't have it now. To reproduce you should revert commit, that relaxes comparison and launch on fuzzer corpus, it will give a bunch of traces that exit earlier.