diff --git a/rust/src/types.rs b/rust/src/types.rs index 0af9a63c5..1a5918012 100644 --- a/rust/src/types.rs +++ b/rust/src/types.rs @@ -2951,9 +2951,7 @@ pub enum PossibleValueSet { StackFrameOffset { offset: i64, }, - ReturnAddressValue { - values: HashSet, - }, + ReturnAddressValue, ImportedAddressValue, SignedRangeValue { offset: i64, @@ -2969,7 +2967,9 @@ pub enum PossibleValueSet { InSetOfValues { values: HashSet, }, - NotInSetOfValues, + NotInSetOfValues { + values: HashSet, + }, ConstantDataValue { value_type: ConstantDataType, value: i64, @@ -3046,14 +3046,14 @@ impl PossibleValueSet { .collect(); Self::LookupTableValue { tables } } - ReturnAddressValue => Self::ReturnAddressValue { + NotInSetOfValues => Self::NotInSetOfValues { values: from_sets(value), }, InSetOfValues => Self::InSetOfValues { values: from_sets(value), }, ImportedAddressValue => Self::ImportedAddressValue, - NotInSetOfValues => Self::NotInSetOfValues, + ReturnAddressValue => Self::ReturnAddressValue, ExternalPointerValue => Self::ExternalPointerValue, } } @@ -3065,14 +3065,14 @@ impl PossibleValueSet { match self { PossibleValueSet::UndeterminedValue | PossibleValueSet::ExternalPointerValue - | PossibleValueSet::NotInSetOfValues + | PossibleValueSet::ReturnAddressValue | PossibleValueSet::ImportedAddressValue => {} PossibleValueSet::EntryValue { reg: value } | PossibleValueSet::ConstantValue { value } | PossibleValueSet::ConstantPointerValue { value } | PossibleValueSet::ConstantDataValue { value, .. } | PossibleValueSet::StackFrameOffset { offset: value } => raw.value = value, - PossibleValueSet::ReturnAddressValue { values } + PossibleValueSet::NotInSetOfValues { values } | PossibleValueSet::InSetOfValues { values } => { let values = Box::leak(values.into_iter().collect()); raw.valueSet = values.as_mut_ptr(); @@ -3109,13 +3109,13 @@ impl PossibleValueSet { PossibleValueSet::ConstantPointerValue { .. } => ConstantPointerValue, PossibleValueSet::ExternalPointerValue => ExternalPointerValue, PossibleValueSet::StackFrameOffset { .. } => StackFrameOffset, - PossibleValueSet::ReturnAddressValue { .. } => ReturnAddressValue, + PossibleValueSet::ReturnAddressValue => ReturnAddressValue, PossibleValueSet::ImportedAddressValue => ImportedAddressValue, PossibleValueSet::SignedRangeValue { .. } => SignedRangeValue, PossibleValueSet::UnsignedRangeValue { .. } => UnsignedRangeValue, PossibleValueSet::LookupTableValue { .. } => LookupTableValue, PossibleValueSet::InSetOfValues { .. } => InSetOfValues, - PossibleValueSet::NotInSetOfValues => NotInSetOfValues, + PossibleValueSet::NotInSetOfValues { .. } => NotInSetOfValues, PossibleValueSet::ConstantDataValue { value_type: ConstantDataType::Value, .. @@ -3152,7 +3152,7 @@ impl Drop for PossibleValueSetRaw { match self.0.state { UndeterminedValue | ExternalPointerValue - | NotInSetOfValues + | ReturnAddressValue | ImportedAddressValue | EntryValue | ConstantValue @@ -3162,7 +3162,7 @@ impl Drop for PossibleValueSetRaw { | ConstantDataZeroExtendValue | ConstantDataSignExtendValue | ConstantDataAggregateValue => {} - InSetOfValues | ReturnAddressValue => { + InSetOfValues | NotInSetOfValues => { let _values: Box<[i64]> = unsafe { Box::from_raw(ptr::slice_from_raw_parts_mut(self.0.valueSet, self.0.count)) };