From ce6d10c6cefffa8d3acfd82170b668477c63d32a Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 5 Dec 2013 18:47:29 -0500 Subject: [PATCH] Fix NodeValue bitfields for 32-bit; fix comment. --- src/expr/node_value.h | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/expr/node_value.h b/src/expr/node_value.h index 24132491a..5c73b39b5 100644 --- a/src/expr/node_value.h +++ b/src/expr/node_value.h @@ -89,19 +89,19 @@ class NodeValue { /** A mask for d_kind */ static const unsigned kindMask = (1u << NBITS_KIND) - 1; - // this header fits into one 64-bit word + // This header fits into 96 bits /** The ID (0 is reserved for the null value) */ - unsigned long d_id : NBITS_ID; + uint64_t d_id : NBITS_ID; /** The expression's reference count. @see cvc4::Node. */ - unsigned d_rc : NBITS_REFCOUNT; + uint64_t d_rc : NBITS_REFCOUNT; /** Kind of the expression */ - unsigned d_kind : NBITS_KIND; + uint64_t d_kind : NBITS_KIND; /** Number of children */ - unsigned d_nchildren : NBITS_NCHILDREN; + uint64_t d_nchildren : NBITS_NCHILDREN; /** Variable number of child nodes */ NodeValue* d_children[0]; -- 2.30.2