Fuzzer action: arbitrary non-atomic store in deadcode

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

13 stars 1 forks source link

Closed MattWindsor91 closed 3 years ago

MattWindsor91 commented 3 years ago

Effectively to Assign as Atomic_store.Int_dead is to atomic stores.

This would introduce nonsensical uses of ++ and -- as well as x = RANDOM_EXPR.

Inspired indirectly by the strange for-loop in Morriset et al.'s figure 1 testcase; other fuzzer actions will introduce the for loop more directly.

MattWindsor91 commented 3 years ago

Appears to be done now; closing.