fix PossibleValueSet switched NotInSetOfValues and `ReturnAddress…

…Value`
Vector35 · May 20, 2024 · 9e66e9a · 9e66e9a
1 parent e3289da
commit 9e66e9a
Showing 1 changed file with 12 additions and 12 deletions.
diff --git a/rust/src/types.rs b/rust/src/types.rs
@@ -2951,9 +2951,7 @@ pub enum PossibleValueSet {
     StackFrameOffset {
         offset: i64,
     },
-    ReturnAddressValue {
-        values: HashSet<i64>,
-    },
+    ReturnAddressValue,
     ImportedAddressValue,
     SignedRangeValue {
         offset: i64,
@@ -2969,7 +2967,9 @@ pub enum PossibleValueSet {
     InSetOfValues {
         values: HashSet<i64>,
     },
-    NotInSetOfValues,
+    NotInSetOfValues {
+        values: HashSet<i64>,
+    },
     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))
                 };