SSA: Remove nodes that are no longer used.

aschackmull · aschackmull · commit 88fe4faf9df5 · 2025-02-24T11:00:48.000+01:00
diff --git a/shared/ssa/codeql/ssa/Ssa.qll b/shared/ssa/codeql/ssa/Ssa.qll
@@ -1563,8 +1563,6 @@ module Make<LocationSig Location, InputSig<Location> Input> {
         this instanceof PhiNode
         or
         this instanceof PhiReadNode
-        or
-        DfInput::allowFlowIntoUncertainDef(this)
       }
 
       /** Holds if `def` may flow into this definition via basic block `input`. */

Original file line number	Diff line number	Diff line change
`@@ -1563,8 +1563,6 @@ module Make<LocationSig Location, InputSig<Location> Input> {`
`1563`	`1563`	`this instanceof PhiNode`
`1564`	`1564`	`or`
`1565`	`1565`	`this instanceof PhiReadNode`
`1566`		`- or`
`1567`		`- DfInput::allowFlowIntoUncertainDef(this)`
`1568`	`1566`	`}`
`1569`	`1567`
`1570`	`1568`	/** Holds if `def` may flow into this definition via basic block `input`. */