From 49445d378eff9810787b88ef910906f8c0c372d1 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Dejan=20Jovanovi=C4=87?= <dejan.jovanovic@gmail.com>
Date: Tue, 17 Apr 2012 20:42:09 +0000
Subject: [PATCH] Fix for thos annoying "array index" warnings in production
 builds

---
 src/expr/node_manager.h | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h
index da999cc82..5e27962da 100644
--- a/src/expr/node_manager.h
+++ b/src/expr/node_manager.h
@@ -1383,10 +1383,17 @@ NodeClass NodeManager::mkConstInternal(const T& val) {
   nvStack.d_kind = kind::metakind::ConstantMap<T>::kind;
   nvStack.d_rc = 0;
   nvStack.d_nchildren = 1;
+
+#pragma GCC diagnostic push
+#pragma GCC diagnostic ignored "-Warray-bounds"
+
   nvStack.d_children[0] =
     const_cast<expr::NodeValue*>(reinterpret_cast<const expr::NodeValue*>(&val));
   expr::NodeValue* nv = poolLookup(&nvStack);
 
+#pragma GCC diagnostic pop
+
+
   if(nv != NULL) {
     return NodeClass(nv);
   }
-- 
2.30.2