| 83 | } |
| 84 | |
| 85 | FloatConst::FloatConst(Type &type, string val, bool bit_value) |
| 86 | : Constant(type, bit_value ? int_to_readable_float(type, val) : val), |
| 87 | val(std::move(val)), bit_value(bit_value) {} |
| 88 | |
| 89 | expr FloatConst::getTypeConstraints() const { |
| 90 | return Value::getTypeConstraints() && |
nothing calls this directly
no test coverage detected