Code

Support for C11 _Noreturn#58

Code

Merged

michael-schwarz merged 3 commits intodevelopgoblint/cil:developfrom c11-noreturngoblint/cil:c11-noreturnCopy head branch name to clipboardDec 16, 2021

+41-10

Commits

Commits on Dec 16, 2021

• Support for C11 _Noreturn

  Show description for 2f4b4fa
  michael-schwarz

  committed
  2f4b4fa

  Copy full SHA for 2f4b4fa

• Allow strange corner case arising when including stdnoreturn.h despite using GCC noreturn attribute

  michael-schwarz

  committed
  b5f53d6

  Copy full SHA for b5f53d6

• fix so noreturn test actually does not return

  michael-schwarz

  committed
  c0868db

  Copy full SHA for c0868db