search

goblint / cil

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

Support for C11 `_Noreturn` #58

Closed michael-schwarz closed 2 years ago

michael-schwarz commented 2 years ago

This adds support for C11's _Noreturn feature to CIL.

Since most of the other changes in #24 will also change the CIL AST, it makes sense to first do this one separately.

Builds on work by @coslu for his Bachelor's thesis.