search

goblint / cil

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

Support for `_Atomic` #61

Closed michael-schwarz closed 2 years ago

michael-schwarz commented 2 years ago

Support for C11 _Atomic, as needed e.g. for https://github.com/goblint/bench/issues/7

_Atomic const int * p1;
typedef _Atomic _Bool atomic_bool;
const _Atomic(int) * p3; // same