Skip to content

Commit 1b6317d

Browse files
geoffw0MathiasVP
andauthored
Update swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll
Co-authored-by: Mathias Vorreiter Pedersen <[email protected]>
1 parent 403f3ca commit 1b6317d

File tree

1 file changed

+1
-4
lines changed

1 file changed

+1
-4
lines changed

swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -170,10 +170,7 @@ private module Cached {
170170
// flow through ternary operator `? :`
171171
exists(IfExpr ie |
172172
nodeTo.asExpr() = ie and
173-
(
174-
nodeFrom.asExpr() = ie.getThenExpr() or
175-
nodeFrom.asExpr() = ie.getElseExpr()
176-
)
173+
nodeFrom.asExpr() = ie.getBranch(_)
177174
)
178175
or
179176
// flow through a flow summary (extension of `SummaryModelCsv`)

0 commit comments

Comments
 (0)