c4-project / c4f

The C4 Concurrent C Fuzzer
MIT License
13 stars 1 forks source link

If duplication doesn’t check properly for labels #192

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 4 years ago

There used to be a check in the if duplication action that would make sure that there were no labels in the statement list being transformed; these are not allowed because labels must be unique. This check seems to have been lost at some point, and this is causing the fuzzer to emit uncompilable code.

This seems to have become an issue before the latest path changes.