mirror of
https://github.com/github/codeql.git
synced 2026-04-29 02:35:15 +02:00
Dataflow: Get rid of early filter.
This constructs a few more tuples in Stage3::fwdFlow0, which are then filtered in Stage3::fwdFlow. This is cleaner and appears faster.
This commit is contained in:
@@ -1402,8 +1402,7 @@ private module Stage3 {
|
||||
// read
|
||||
exists(Ap ap0, Content c |
|
||||
fwdFlowRead(ap0, c, _, node, cc, argAp, config) and
|
||||
fwdFlowConsCand(ap0, c, ap, config) and
|
||||
flowCand(node, unbindBool(ap.toBoolNonEmpty()), unbind(config))
|
||||
fwdFlowConsCand(ap0, c, ap, config)
|
||||
)
|
||||
or
|
||||
// flow into a callable
|
||||
|
||||
Reference in New Issue
Block a user