search

goblint / cil

C Intermediate Language
https://goblint.github.io/cil/
Other
40 stars 16 forks source link

Only constant fold for `shitfleft` when defined #123

Closed michael-schwarz closed 1 year ago

michael-schwarz commented 1 year ago

This removes some constant folding for shiftleft that hide potential undefined behavior for signed types.

Closes #122