C++: Simplify.

MathiasVP · MathiasVP · commit 0149fb640d45 · 2024-06-05T09:58:43.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
@@ -635,7 +635,7 @@ class SsaPhiNode extends Node, TSsaPhiNode {
    */
   cached
   final Node getAnInput(boolean fromBackEdge) {
-    localFlowStep(result, this) and
+    result.(SsaPhiInputNode).getPhiNode() = phi and
     exists(IRBlock bPhi, IRBlock bResult |
       bPhi = phi.getBasicBlock() and bResult = result.getBasicBlock()
     |

Original file line number	Diff line number	Diff line change
`@@ -635,7 +635,7 @@ class SsaPhiNode extends Node, TSsaPhiNode {`
`635`	`635`	`*/`
`636`	`636`	`cached`
`637`	`637`	`final Node getAnInput(boolean fromBackEdge) {`
`638`		`- localFlowStep(result, this) and`
	`638`	`+ result.(SsaPhiInputNode).getPhiNode() = phi and`
`639`	`639`	`exists(IRBlock bPhi, IRBlock bResult \|`
`640`	`640`	`bPhi = phi.getBasicBlock() and bResult = result.getBasicBlock()`
`641`	`641`	`\|`