Merge pull request #1600 from diffblue/varmap-checks

tautschnig · web-flow · commit 34b7921d208b · 2026-01-23T13:05:27.000+01:00
add preconditions for AIG node numbers
diff --git a/src/trans-netlist/aig.h b/src/trans-netlist/aig.h
@@ -78,6 +78,8 @@ class aigt {
   }
 
   literalt new_and_node(literalt a, literalt b) {
+    PRECONDITION(a.var_no() < number_of_nodes());
+    PRECONDITION(b.var_no() < number_of_nodes());
     nodes.emplace_back(a, b);
     return {narrow_cast<literalt::var_not>(nodes.size() - 1), false};
   }

Original file line number	Diff line number	Diff line change
`@@ -78,6 +78,8 @@ class aigt {`
`78`	`78`	`}`
`79`	`79`
`80`	`80`	`literalt new_and_node(literalt a, literalt b) {`
	`81`	`+ PRECONDITION(a.var_no() < number_of_nodes());`
	`82`	`+ PRECONDITION(b.var_no() < number_of_nodes());`
`81`	`83`	`nodes.emplace_back(a, b);`
`82`	`84`	`return {narrow_cast<literalt::var_not>(nodes.size() - 1), false};`
`83`	`85`	`}`