Add entry nodes iterator to pcodecfg

toolCHAINZ · toolCHAINZ · commit aad3f093882a · 2026-01-30T22:25:30.000Z
diff --git a/jingle/src/analysis/cpa/residue.rs b/jingle/src/analysis/cpa/residue.rs
@@ -73,6 +73,13 @@ impl<A: ConfigurableProgramAnalysis, R: Residue<A::State>> ResidueWrapper<A, R>
             _phantom: Default::default(),
         }
     }
+
+    pub fn with_residue<V: Residue<A::State>>(self, _r: V) -> ResidueWrapper<A, V> {
+        ResidueWrapper {
+            a: self.a,
+            _phantom: Default::default(),
+        }
+    }
 }
 
 impl<A: ConfigurableProgramAnalysis, R: Residue<A::State>> ConfigurableProgramAnalysis

Original file line number	Diff line number	Diff line change
`@@ -73,6 +73,13 @@ impl<A: ConfigurableProgramAnalysis, R: Residue<A::State>> ResidueWrapper<A, R>`
`73`	`73`	`_phantom: Default::default(),`
`74`	`74`	`}`
`75`	`75`	`}`
	`76`	`+`
	`77`	`+ pub fn with_residue<V: Residue<A::State>>(self, _r: V) -> ResidueWrapper<A, V> {`
	`78`	`+ ResidueWrapper {`
	`79`	`+ a: self.a,`
	`80`	`+ _phantom: Default::default(),`
	`81`	`+ }`
	`82`	`+ }`
`76`	`83`	`}`
`77`	`84`
`78`	`85`	`impl<A: ConfigurableProgramAnalysis, R: Residue<A::State>> ConfigurableProgramAnalysis`