equal
deleted
inserted
replaced
123 void set_overflow(void) {status = cs_overflow ;} |
123 void set_overflow(void) {status = cs_overflow ;} |
124 void set_nonconst(void) {status = cs_non_const ;} |
124 void set_nonconst(void) {status = cs_non_const ;} |
125 bool is_valid (void) {return (status == cs_const_value);} |
125 bool is_valid (void) {return (status == cs_const_value);} |
126 bool is_overflow (void) {return (status == cs_overflow );} |
126 bool is_overflow (void) {return (status == cs_overflow );} |
127 bool is_nonconst (void) {return (status == cs_non_const );} |
127 bool is_nonconst (void) {return (status == cs_non_const );} |
|
128 bool is_undefined(void) {return (status == cs_undefined );} |
128 bool is_zero (void) {return (is_valid() && (get() == 0));} |
129 bool is_zero (void) {return (is_valid() && (get() == 0));} |
129 }; |
130 }; |
130 |
131 |
131 const_value__< int64_t> _int64; /* status is initialised to UNDEFINED */ |
132 const_value__< int64_t> _int64; /* status is initialised to UNDEFINED */ |
132 const_value__<uint64_t> _uint64; /* status is initialised to UNDEFINED */ |
133 const_value__<uint64_t> _uint64; /* status is initialised to UNDEFINED */ |