Skip to content

Commit 43889a9

Browse files
committed
Address review comments
1 parent c0601dd commit 43889a9

1 file changed

Lines changed: 4 additions & 4 deletions

File tree

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

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1897,7 +1897,7 @@ module Make<
18971897
not this.isExit(_, _) and
18981898
(
18991899
exists(SummaryComponentStack stack |
1900-
state_.isSourceOutputState(_, stack, _, _) and
1900+
state_.isSinkInputState(_, stack, _, _) and
19011901
stack.head() instanceof TContentSummaryComponent
19021902
)
19031903
or
@@ -2412,10 +2412,10 @@ module Make<
24122412
)
24132413
)
24142414
or
2415-
sourceExitStep(StepsInput::getSummaryNode(pred), succ, false)
2416-
or
2417-
sinkEntryStep(pred, StepsInput::getSummaryNode(succ), false)
2415+
sourceExitStep(predSummary, succ, false)
24182416
)
2417+
or
2418+
sinkEntryStep(pred, StepsInput::getSummaryNode(succ), false)
24192419
}
24202420

24212421
/**

0 commit comments

Comments
 (0)