summaryrefslogtreecommitdiff
path: root/rust/src/types.rs
diff options
context:
space:
mode:
authorRubens Brandao <git@rubens.io>2023-11-18 15:58:33 -0300
committerKyle Martin <krm504@nyu.edu>2023-11-21 15:18:50 -0500
commit8c9cdd38c3302280087c9e6d94f7f57083885edd (patch)
tree8bccf380b4470e0de8ac11c23b164e0acf6ffbb0 /rust/src/types.rs
parentb040fcfce48db861600eeb122cd0e2ff802fac96 (diff)
add mlil to rust
Diffstat (limited to 'rust/src/types.rs')
-rw-r--r--rust/src/types.rs16
1 files changed, 15 insertions, 1 deletions
diff --git a/rust/src/types.rs b/rust/src/types.rs
index 5c568142..d86ffc82 100644
--- a/rust/src/types.rs
+++ b/rust/src/types.rs
@@ -29,7 +29,6 @@ use crate::{
};
use lazy_static::lazy_static;
-use std::ptr::null_mut;
use std::{
borrow::Cow,
collections::HashSet,
@@ -1392,6 +1391,21 @@ impl Variable {
}
}
+//////////////
+// SSAVariable
+
+#[derive(Clone, Copy, Debug, Hash, Eq, PartialEq)]
+pub struct SSAVariable {
+ pub variable: Variable,
+ pub version: usize,
+}
+
+impl SSAVariable {
+ pub fn new(variable: Variable, version: usize) -> Self {
+ Self { variable, version }
+ }
+}
+
///////////////
// NamedVariable