From 738c4c4803946ff408f194533bbcc5441fd1cdee Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Fri, 30 Apr 2021 23:20:46 +0200
Subject: [PATCH] Work around a bug in vscode

---
 include/xbt/base.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/include/xbt/base.h b/include/xbt/base.h
index 88deb0f494..d764f5ee30 100644
--- a/include/xbt/base.h
+++ b/include/xbt/base.h
@@ -62,6 +62,11 @@
 #define XBT_ATTRIB_DEPRECATED_v332(mesg)                                                                               \
   XBT_ATTRIB_DEPRECATED(mesg " (this compatibility wrapper will be dropped after v3.31)")
 
+/* Work around https://github.com/microsoft/vscode-cpptools/issues/4503 */
+#ifdef __INTELLISENSE__
+#pragma diag_suppress 1094
+#endif
+
 #if !defined(__APPLE__)
 #  define XBT_ATTRIB_CONSTRUCTOR(prio) __attribute__((__constructor__(prio)))
 #  define XBT_ATTRIB_DESTRUCTOR(prio) __attribute__((__destructor__(prio)))
-- 
2.20.1