passes: check if a node is tracked before getting info

magancarz · magancarz · commit dcab1375a561 · 2025-12-31T11:53:25.000+01:00
diff --git a/xls/passes/lazy_query_engine.h b/xls/passes/lazy_query_engine.h
@@ -188,6 +188,9 @@ class LazyQueryEngine : public internal::CacheableQueryEngine {
   const LazyNodeInfo<Info>& info() const { return qe_info(); }
 
   std::optional<SharedLeafTypeTree<Info>> GetInfo(Node* node) const {
+    if (!IsTracked(node)) {
+      return std::nullopt;
+    }
     return info_.GetInfo(node);
   }
 

Original file line number	Diff line number	Diff line change
`@@ -188,6 +188,9 @@ class LazyQueryEngine : public internal::CacheableQueryEngine {`
`188`	`188`	`const LazyNodeInfo<Info>& info() const { return qe_info(); }`
`189`	`189`
`190`	`190`	`std::optional<SharedLeafTypeTree<Info>> GetInfo(Node* node) const {`
	`191`	`+ if (!IsTracked(node)) {`
	`192`	`+ return std::nullopt;`
	`193`	`+ }`
`191`	`194`	`return info_.GetInfo(node);`
`192`	`195`	`}`
`193`	`196`