Sanitiser: remove pointless jumps

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

14 stars 1 forks source link

Sanitiser: remove pointless jumps #9

Closed MattWindsor91 closed 6 years ago

MattWindsor91 commented 6 years ago

My fix for issue #8 introduced a lot of cases where we're emitting

JMP label
label:

Ideally, the sanitiser should remove any unconditional jumps to adjacent labels, and then the sanitiser's unused label elimination should run to clean up any orphaned labels.

This is a minor test-readability issue, though.

MattWindsor91 commented 6 years ago

Fixed in c3d3be1cd477a3cb89cf77db28964d09c55bad60.