Support for C11 `_Noreturn`#58

michael-schwarz merged 3 commits intodevelopgoblint/cil:developfrom

c11-noreturngoblint/cil:c11-noreturnCopy head branch name to clipboard