From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Wed, 18 Apr 2012 01:07:43 +0000 (+0000)
Subject: disabling the problematic pragma in node_manager.h on gcc < 4.6 until we figure out... 
X-Git-Tag: cvc5-1.0.0~8226
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=077439fbfa7273ca7d01353873be26bb28318a75;p=cvc5.git

disabling the problematic pragma in node_manager.h on gcc < 4.6 until we figure out what to do with it
---

diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h
index 5e27962da..b5ac9e973 100644
--- a/src/expr/node_manager.h
+++ b/src/expr/node_manager.h
@@ -1384,15 +1384,18 @@ NodeClass NodeManager::mkConstInternal(const T& val) {
   nvStack.d_rc = 0;
   nvStack.d_nchildren = 1;
 
+#if defined(__GNUC__) && (__GNUC__ > 4 || (__GNUC__ == 4 && __GNUC_MINOR__ >= 6))
 #pragma GCC diagnostic push
 #pragma GCC diagnostic ignored "-Warray-bounds"
+#endif
 
   nvStack.d_children[0] =
     const_cast<expr::NodeValue*>(reinterpret_cast<const expr::NodeValue*>(&val));
   expr::NodeValue* nv = poolLookup(&nvStack);
 
+#if defined(__GNUC__) && (__GNUC__ > 4 || (__GNUC__ == 4 && __GNUC_MINOR__ >= 6))
 #pragma GCC diagnostic pop
-
+#endif
 
   if(nv != NULL) {
     return NodeClass(nv);