JS: Update test output and add related TODO in model of 'async'

This commit is contained in:
Asger F
2024-08-26 14:02:07 +02:00
parent 837a8be1b8
commit a2d53c261b
2 changed files with 5 additions and 5 deletions

View File

@@ -142,7 +142,7 @@ module AsyncPackage {
override predicate step(DataFlow::Node pred, DataFlow::Node succ) {
exists(DataFlow::FunctionNode iteratee, IterationCall call |
iteratee = call.getIteratorCallback() and // Require a closure to avoid spurious call/return mismatch.
pred = call.getCollection() and
pred = call.getCollection() and // TODO: needs a flow summary to ensure ArrayElement content is unfolded
succ = iteratee.getParameter(0)
)
}