pub enum PossibleValueSet {
Show 17 variants
UndeterminedValue,
EntryValue {
reg: i64,
},
ConstantValue {
value: i64,
},
ConstantPointerValue {
value: i64,
},
ExternalPointerValue {
value: i64,
offset: i64,
},
StackFrameOffset {
value: i64,
},
ReturnAddressValue,
ImportedAddressValue {
value: i64,
},
SignedRangeValue {
value: i64,
ranges: Vec<ValueRange<i64>>,
},
UnsignedRangeValue {
value: i64,
ranges: Vec<ValueRange<u64>>,
},
LookupTableValue {
table: Vec<LookupTableEntry>,
},
InSetOfValues {
values: HashSet<i64>,
},
NotInSetOfValues {
values: HashSet<i64>,
},
ConstantDataValue {
value: i64,
size: usize,
},
ConstantDataZeroExtendValue {
value: i64,
size: usize,
},
ConstantDataSignExtendValue {
value: i64,
size: usize,
},
ConstantDataAggregateValue {
value: i64,
size: usize,
},
}
Fields
Fields
Fields
Fields
Fields
Fields
Fields
Fields
Fields
Fields
Fields
Fields
Fields
Fields
Fields
Tests for self and other values to be equal, and is used by ==.
Tests for !=. The default implementation is almost always sufficient,
and should not be overridden without very good reason.