cil icon indicating copy to clipboard operation
cil copied to clipboard

Published 20 hours ago • verified publisher icon goblint

Complete support for `_Atomic`

Open michael-schwarz opened this issue 2 years ago • 0 comments

Our current support for _Atomic is lacking in that certain types are not supported (e.g. _Atomic(int*)).

See also: https://github.com/goblint/cil/pull/61#discussion_r780962416

michael-schwarz avatar Jan 10 '22 10:01 michael-schwarz