From 5a6084fbec27670336d9d63fdeb3ced8c018a5c2 Mon Sep 17 00:00:00 2001
From: amai2012 <amai2012@users.noreply.github.com>
Date: Wed, 18 Sep 2019 21:50:23 +0200
Subject: [PATCH] Map #warning to #pragma message for VisualStudio

---
 lib/exprengine.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lib/exprengine.h b/lib/exprengine.h
index 37dba47de..d1cc3c1f0 100644
--- a/lib/exprengine.h
+++ b/lib/exprengine.h
@@ -39,8 +39,12 @@ class Token;
 typedef __int128_t   int128_t;
 #else
 typedef long long    int128_t;
+#ifdef _MSC_VER
+#pragma message(__FILE__ "(" _CRT_STRINGIZE(__LINE__) ")" ": warning: TODO No 128-bit integer type is available => Limited analysis of large integers...")
+#else
 #warning TODO No 128-bit integer type is available => Limited analysis of large integers
 #endif
+#endif
 
 namespace ExprEngine {
     std::string str(int128_t);