diff --git a/src/kernel_internals/parsing/cparser.mly b/src/kernel_internals/parsing/cparser.mly
index f6d7ffc1b679ebb7ff1f5759fdd3b1fbf134f34f..3fa46bf8d2cc5f6db6c93aa124b7be2fdc4fa64c 100644
--- a/src/kernel_internals/parsing/cparser.mly
+++ b/src/kernel_internals/parsing/cparser.mly
@@ -1182,8 +1182,7 @@ decl_spec_wo_type:                         /* ISO 6.7 */
 |   REGISTER         { SpecStorage REGISTER, $1}
                                         /* ISO 6.7.4 */
 |   INLINE           { SpecInline, $1 }
-|   NORETURN         { SpecAttr
-                         (("noreturn",[make_expr $sloc (VARIABLE "c11")])), $1 }
+|   NORETURN         { SpecAttr (("noreturn",[])), $1 }
 |   cvspec           { $1 }
 |   attribute_nocv   { SpecAttr (fst $1), snd $1 }
 ;