c4-project / c4f

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

Delitmusifier mistakenly translates ints as atomic_ints #63

Closed MattWindsor91 closed 5 years ago

MattWindsor91 commented 5 years ago

The C delitmusifier seemingly believes that all global variables are atomic_int, causing it to emit atomic_int globals even when the functions themselves report ints.

Ideally, it should check one of the functions to see what the right type is, check the other functions for consistency, and use that type.