Skip to content

Commit 603a97f

Browse files
committed
Prevent Python join order regression
1 parent 377aa68 commit 603a97f

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatch.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1200,6 +1200,7 @@ predicate normalCallArg(CallNode call, Node arg, ArgumentPosition apos) {
12001200
* time the bound method is used, such that the `clear()` call would essentially be
12011201
* translated into `l.clear()`, and we can still have use-use flow.
12021202
*/
1203+
pragma[assume_small_delta]
12031204
cached
12041205
predicate getCallArg(CallNode call, Function target, CallType type, Node arg, ArgumentPosition apos) {
12051206
Stages::DataFlow::ref() and

0 commit comments

Comments
 (0)