hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Post-merge fixup.

Browse Source
This commit is contained in:
Geoffrey White
2024-02-27 17:32:59 +00:00
parent 1da611cc02
commit 0df10bda0c
1 changed files with 0 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
View File

@@ -54,7 +54,6 @@ private newtype TIRDataFlowNode =
Ssa::hasRawIndirectInstruction(node.asInstruction(), indirectionIndex)
} or
TFinalParameterNode(Parameter p, int indirectionIndex) {
hasFinalParameterNode(_, p, indirectionIndex)
exists(Ssa::FinalParameterUse use |
use.getParameter() = p and
use.getIndirectionIndex() = indirectionIndex
@@ -64,17 +63,6 @@ private newtype TIRDataFlowNode =
TInitialGlobalValue(Ssa::GlobalDef globalUse) or
TFlowSummaryNode(FlowSummaryImpl::Private::SummaryNode sn)
/**
* Holds if `(p, indirectionIndex)` should define a `TFinalParameterNode`
* entry because `use` represents the final use of a parameter that has been
* written to in the enclosing function of `p`.
*/
predicate hasFinalParameterNode(Ssa::FinalParameterUse use, Parameter p, int indirectionIndex) {
use.getParameter() = p and
use.getIndirectionIndex() = indirectionIndex and
parameterIsRedefined(p)
}
/**
* An operand that is defined by a `FieldAddressInstruction`.
*/