Skip to content

Commit b98300b

Browse files
committed
DataFlowImplCommon: Mark LambdaFlow as overlay global
1 parent 9ada903 commit b98300b

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -291,6 +291,7 @@ module MakeImplCommon<LocationSig Location, InputSig<Location> Lang> {
291291
* to `lambdaCall`, if any. That is, `lastCall` is able to target the enclosing
292292
* callable of `lambdaCall`.
293293
*/
294+
overlay[global]
294295
pragma[nomagic]
295296
predicate revLambdaFlow(
296297
Call lambdaCall, LambdaCallKind kind, Node node, Type t, boolean toReturn, boolean toJump,

0 commit comments

Comments
 (0)