search

goblint / cil

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

Replace calls to `__builtin_nanX` with expression leading to NaN #79

Closed michael-schwarz closed 2 years ago

michael-schwarz commented 2 years ago

Fixes https://github.com/goblint/cil/issues/78, by replacing calls to __builtin_nanX which may not appear in locations where we expect a constant value, e.g. global initializers, with the expression 0./0. which will yield NaN (on any sensible machine).

Needed for https://github.com/goblint/bench/issues/14