Skip to content
  • Bernhard Schommer's avatar
    Added the _Noreturn keyword. · 4e62a2c4
    Bernhard Schommer authored
    CompCert now recognizes the C11 _Noreturn function specifier and
    emits a simple warning for functions declared _Noreturn containing
    a return statement. Also the stdnoreturn header and additionally
    the stdalign header are added.
    Bug 18541
    4e62a2c4