Skip to content

Commit a85f22f

Browse files
committed
wip4
1 parent 7c5d58a commit a85f22f

1 file changed

Lines changed: 4 additions & 0 deletions

File tree

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

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1795,6 +1795,8 @@ module Make<
17951795
state_.isSourceOutputState(_, stack, _, _) and
17961796
stack.head() instanceof TContentSummaryComponent
17971797
)
1798+
or
1799+
this.isExit(_, _, _, _)
17981800
}
17991801

18001802
override string toString() {
@@ -1863,6 +1865,8 @@ module Make<
18631865
state_.isSourceOutputState(_, stack, _, _) and
18641866
stack.head() instanceof TContentSummaryComponent
18651867
)
1868+
or
1869+
this.isEntry(_, _, _, _)
18661870
}
18671871

18681872
override string toString() {

0 commit comments

Comments
 (0)