c4-project / c4f

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

Fix incorrect bracketing of pointer lvalues on for-loop concretisation #201

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 4 years ago

The FIR concretisation of for-loop increments and decrements on pointer lvalues isn't respecting the fact that postfix increment and decrement bind tighter than *; as such, it emits (*foo)++ as foo++.