search

goblint / cil

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

`__builtin_nanf("")` in global initializers #78

Closed michael-schwarz closed 2 years ago

michael-schwarz commented 2 years ago

FFmpeg conatains globals that are initialized to NaN via __builtin_nanf("") .

double d = __builtin_nanf("");

int main(void) {
    return 0;
}
1.c:1: Error: global initializer