search

goblint / cil

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

Support for `_Alignas(...)` #108

Closed michael-schwarz closed 2 years ago

michael-schwarz commented 2 years ago

This adds support for _Alignas(expr) and _Alignas(type-name) from the C11 standard.

Currently, while this information is parsed it is not represented in the corresponding Cabs or CIL ASTs.

References #13. Closes #93.