hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-29 14:23:03 +01:00
Code Issues Packages Projects Releases Wiki Activity

Data flow: No magic in returnFlowCallableCand.

Browse Source 
cf https://github.com/Semmle/ql/pull/3142
This commit is contained in:
Max Schaefer
2020-03-30 09:22:03 +01:00
parent c9ba6dd672
commit aabe2f2f82
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
ql/src/semmle/go/dataflow/internal/DataFlowImpl.qll
View File

@@ -548,6 +548,7 @@ private predicate throughFlowNodeCand(Node node, Configuration config) {
}
/** Holds if flow may return from `callable`. */
pragma[nomagic]
private predicate returnFlowCallableCand(
DataFlowCallable callable, ReturnKindExt kind, Configuration config
) {