From 4916b02f5cc15976783bee9e03a6df52c08772da Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Fri, 10 Jun 2022 13:55:17 +0200
Subject: [PATCH] [Kernel] add predefined macros to avoid compiler warnings
glibc 2.35 (https://lists.gnu.org/archive/html/info-gnu/2022-02/msg00002.html)
defines macros __STDC_IEC_60559_BFP__ and __STDC_IEC_60559_COMPLEX__, which
must be ignored to avoid redefinition warnings during logic preprocessing.
---
src/kernel_internals/parsing/logic_preprocess.mll | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/src/kernel_internals/parsing/logic_preprocess.mll b/src/kernel_internals/parsing/logic_preprocess.mll
index 87d27871542..1e125018ab1 100644
--- a/src/kernel_internals/parsing/logic_preprocess.mll
+++ b/src/kernel_internals/parsing/logic_preprocess.mll
@@ -45,6 +45,10 @@
"__STDC_ANALYZABLE__"; "__STDC_IEC_559__"; "__STDC_IEC_559_COMPLEX__";
"__STDC_LIB_EXT1__"; "__STDC_NO_ATOMICS__"; "__STDC_NO_COMPLEX__";
"__STDC_NO_THREADS__"; "__STDC_NO_VLA__";
+
+ (* from TS 18661-1:2014 (for glibc >=2.35) *)
+ "__STDC_IEC_60559_BFP__"; "__STDC_IEC_60559_COMPLEX__";
+
(* expanding assert, an ACSL keyword, is not a good idea. *)
"assert";
(* __nonnull is predefined by Clang on macOS. *)
--
GitLab