Only generate `break` statements inside do-while bodies

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

14 stars 1 forks source link

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 4 years ago

Currently the fuzzer thinks it can generate break statements inside if loops, which causes compiler errors.

This issue brought to you by me fundamentally misunderstanding C.

MattWindsor91 commented 4 years ago

I believe this has been done now.