feat-fix: allow cf to be undefined

EagleoutIce · EagleoutIce · commit 3cb500a856a9 · 2026-01-05T15:18:20.000+01:00
diff --git a/src/dataflow/extractor.ts b/src/dataflow/extractor.ts
@@ -96,7 +96,7 @@ function resolveLinkToSideEffects(ast: NormalizedAst, graph: DataflowGraph) {
 			continue;
 		}
 		/* this has to change whenever we add a new link to relations because we currently offer no abstraction for the type */
-		const potentials = identifyLinkToLastCallRelation(s.id, cf.graph, graph, s.linkTo, knownCalls);
+		const potentials = identifyLinkToLastCallRelation(s.id, cf?.graph, graph, s.linkTo, knownCalls);
 		for(const pot of potentials) {
 			graph.addEdge(s.id, pot, EdgeType.Reads);
 		}

Original file line number	Diff line number	Diff line change
`@@ -96,7 +96,7 @@ function resolveLinkToSideEffects(ast: NormalizedAst, graph: DataflowGraph) {`
`96`	`96`	`continue;`
`97`	`97`	`}`
`98`	`98`	`/* this has to change whenever we add a new link to relations because we currently offer no abstraction for the type */`
`99`		`- const potentials = identifyLinkToLastCallRelation(s.id, cf.graph, graph, s.linkTo, knownCalls);`
	`99`	`+ const potentials = identifyLinkToLastCallRelation(s.id, cf?.graph, graph, s.linkTo, knownCalls);`
`100`	`100`	`for(const pot of potentials) {`
`101`	`101`	`graph.addEdge(s.id, pot, EdgeType.Reads);`
`102`	`102`	`}`