feat: Add From<&PcodeMachineAddress> for ConcretePcodeAddress (#155)

toolCHAINZ · web-flow · commit 2ba61b5c919f · 2026-02-03T00:04:07.000Z
implementation
diff --git a/jingle/src/modeling/machine/cpu/concrete.rs b/jingle/src/modeling/machine/cpu/concrete.rs
@@ -78,6 +78,14 @@ impl From<PcodeMachineAddress> for ConcretePcodeAddress {
     }
 }
 
+impl From<&PcodeMachineAddress> for ConcretePcodeAddress {
+    fn from(value: &PcodeMachineAddress) -> Self {
+        Self {
+            machine: *value,
+            pcode: 0,
+        }
+    }
+}
 /// Simple in-function transition handling, transitioning from one address to the
 /// next per uninterpreted/unanalyzed pcode. The implementation is used for
 /// the initial exploration of a CFG. The analyses built around this have

Original file line number	Diff line number	Diff line change
`@@ -78,6 +78,14 @@ impl From<PcodeMachineAddress> for ConcretePcodeAddress {`
`78`	`78`	`}`
`79`	`79`	`}`
`80`	`80`
	`81`	`+impl From<&PcodeMachineAddress> for ConcretePcodeAddress {`
	`82`	`+ fn from(value: &PcodeMachineAddress) -> Self {`
	`83`	`+ Self {`
	`84`	`+ machine: *value,`
	`85`	`+ pcode: 0,`
	`86`	`+ }`
	`87`	`+ }`
	`88`	`+}`
`81`	`89`	`/// Simple in-function transition handling, transitioning from one address to the`
`82`	`90`	`/// next per uninterpreted/unanalyzed pcode. The implementation is used for`
`83`	`91`	`/// the initial exploration of a CFG. The analyses built around this have`