hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 01:05:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Fix code scanning warnings.

Browse Source
This commit is contained in:
Geoffrey White
2024-04-08 15:57:18 +01:00
parent 31a246b554
commit c0c1ab7006
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
View File

@@ -1034,7 +1034,7 @@ class DataFlowCallable extends TDataFlowCallable {
* A source callable, conceptually, a function in the source code for the
* purpose of computing data flow. In practice this excludes functions that
* are summarized using models-as-data (as we don't want to create
* unmodelled flows or duplicate paths), and includes variables (for reasons
* unmodeled flows or duplicate paths), and includes variables (for reasons
* explained in `DataFlowCallable`).
*/
private class SourceCallable extends DataFlowCallable, TSourceCallable {
@@ -1298,7 +1298,7 @@ predicate allowParameterReturnInSelf(ParameterNode p) {
or
// models-as-data summarized flow
exists(DataFlowCallable c, ParameterPosition pos |
p.(ParameterNode).isParameterOf(c, pos) and
p.isParameterOf(c, pos) and
FlowSummaryImpl::Private::summaryAllowParameterReturnInSelf(c.asSummarizedCallable(), pos)
)
}