diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-04-17 20:42:09 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-04-17 20:42:09 +0000 |
commit | 49445d378eff9810787b88ef910906f8c0c372d1 (patch) | |
tree | e197685b2d3fe0d59f99e01eba20255116c16374 | |
parent | 7742c4211f765c2ba2637a211265c20789b861ee (diff) |
Fix for thos annoying "array index" warnings in production builds
-rw-r--r-- | src/expr/node_manager.h | 7 |
1 files changed, 7 insertions, 0 deletions
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); } |