From 9dec8f20e0021b585cd7a3156bb0168f0c07c4c8 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Fri, 5 Jun 2020 09:17:51 +0200
Subject: [PATCH] [Libc] Revert now-unnecessary pragmas to ignore FRAMA_C_MODEL
attribute
This reverts commit 3b350317465066a12347e26ddb858dcadadad7c3.
---
share/libc/features.h | 23 ++++-------------------
1 file changed, 4 insertions(+), 19 deletions(-)
diff --git a/share/libc/features.h b/share/libc/features.h
index 33ba5c44519..19fe84cea75 100644
--- a/share/libc/features.h
+++ b/share/libc/features.h
@@ -34,27 +34,12 @@
#define __POP_FC_STDLIB
#endif
-#if defined(__clang__) && defined(__cplusplus)
-# define __CLANG_IGNORE_ATTRS_PUSH__ \
-_Pragma("clang diagnostic push") \
-_Pragma("clang diagnostic ignored \"-Wunknown-attributes\"")
-# define __CLANG_IGNORE_ATTRS_POP__ \
-_Pragma("clang diagnostic pop")
-#else
-# define __CLANG_IGNORE_ATTRS_PUSH__
-# define __CLANG_IGNORE_ATTRS_POP__
-#endif
-
#ifdef __cplusplus
-# define __BEGIN_DECLS \
-extern "C" { \
- __CLANG_IGNORE_ATTRS_PUSH__
-# define __END_DECLS \
-__CLANG_IGNORE_ATTRS_POP__ \
-}
+# define __BEGIN_DECLS extern "C" {
+# define __END_DECLS }
#else
-# define __BEGIN_DECLS __CLANG_IGNORE_ATTRS_PUSH__
-# define __END_DECLS __CLANG_IGNORE_ATTRS_POP__
+# define __BEGIN_DECLS
+# define __END_DECLS
#endif
#undef __LEAF
--
GitLab