diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-04-18 01:07:43 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-04-18 01:07:43 +0000 |
commit | 077439fbfa7273ca7d01353873be26bb28318a75 (patch) | |
tree | 9aeacc8fb2070d86ca768731284779e16218018e /src | |
parent | 49445d378eff9810787b88ef910906f8c0c372d1 (diff) |
disabling the problematic pragma in node_manager.h on gcc < 4.6 until we figure out what to do with it
Diffstat (limited to 'src')
-rw-r--r-- | src/expr/node_manager.h | 5 |
1 files changed, 4 insertions, 1 deletions
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); |