search

c4-project / c4f

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

Fuzzer action: dead-code for loop #190

Closed MattWindsor91 closed 3 years ago

MattWindsor91 commented 4 years ago

Something like

for (int i = KNOWN_VALUE(x); i < atomic_load(x); i++) {
  // dead
}

Depends on #189.

MattWindsor91 commented 3 years ago

Done ages ago; closed.