From edc1f5ac7c36fbadbae90a11eff0208096cba5e9 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Thu, 1 Aug 2024 16:33:17 +0200
Subject: [PATCH] [parser] Remove c11 attribute param
---
src/kernel_internals/parsing/cparser.mly | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/src/kernel_internals/parsing/cparser.mly b/src/kernel_internals/parsing/cparser.mly
index f6d7ffc1b6..3fa46bf8d2 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 }
;
--
GitLab