Skip to content

Commit 3e53f3b

Browse files
committed
C++: Flow out of phi inputs to the phi node.
1 parent e04c75d commit 3e53f3b

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2232,6 +2232,9 @@ private module Cached {
22322232
// Def-use/Use-use flow
22332233
Ssa::ssaFlow(nodeFrom, nodeTo)
22342234
or
2235+
// Phi input -> Phi
2236+
nodeFrom.(SsaPhiInputNode).getPhiNode() = nodeTo.(SsaPhiNode).getPhiNode()
2237+
or
22352238
IteratorFlow::localFlowStep(nodeFrom, nodeTo)
22362239
or
22372240
// Operand -> Instruction flow

0 commit comments

Comments
 (0)