hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-27 17:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #12534 from hvitved/swift/summary-call-encl-callable

Browse Source 
Swift: Fix `SummaryCall::getEnclosingCallable`
This commit is contained in:
Tom Hvitved
2023-03-15 14:35:00 +01:00
committed by GitHub
parent ecf5591bc6 96639c594f
commit a6e9d111a5
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
swift/ql/lib/codeql/swift/dataflow/internal/DataFlowDispatch.qll
View File

@@ -219,9 +219,7 @@ class SummaryCall extends DataFlowCall, TSummaryCall {
/** Gets the data flow node that this call targets. */
Node getReceiver() { result = receiver }
override DataFlowCallable getEnclosingCallable() {
result = TDataFlowFunc(c.getEnclosingFunction())
}
override DataFlowCallable getEnclosingCallable() { result = TSummarizedCallable(c) }
override string toString() { result = "[summary] call to " + receiver + " in " + c }