search

goblint / cil

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

Ignore `clang` pragmas #63

Closed michael-schwarz closed 2 years ago

michael-schwarz commented 2 years ago

Treat #pragma clang .... like #pragma gcc ... and a lot of others and ignore it.