Skip to content

Commit 7265884

Browse files
committed
FlowSummaryImpl: Might actually be a bugfix for main?!
1 parent 333be60 commit 7265884

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

shared/dataflow/codeql/dataflow/internal/FlowSummaryImpl.qll

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -699,7 +699,8 @@ module Make<
699699
c.propagatesFlow(input, output, preservesValue, model)
700700
or
701701
// observe side effects of callbacks on input arguments
702-
c.propagatesFlow(output, input, preservesValue, model) and
702+
summary(c, output, input, preservesValue, model) and
703+
// c.propagatesFlow(output, input, preservesValue, model) and
703704
preservesValue = true and
704705
isCallbackParameter(input) and
705706
isContentOfArgument(output, _)

0 commit comments

Comments
 (0)