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

C++: Sync identical files.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-07-24 15:20:00 +01:00
parent a5efe9fa09
commit 7ec3162583
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysis.qll
View File

@@ -338,9 +338,9 @@ private predicate resultEscapesNonReturn(Instruction instr) {
not instr.isResultModeled()
}
/** Holds if `operand` may (transitively) flow to an `AddressOperand` whose use is unmodeled. */
/** Holds if `operand` may (transitively) flow to an `AddressOperand`. */
private predicate consumedAsAddressOperand(Operand operand) {
exists(Instruction use | use = operand.(AddressOperand).getUse() and not use.isResultModeled())
operand instanceof AddressOperand
or
exists(Operand address |
consumedAsAddressOperand(address) and
@@ -350,7 +350,7 @@ private predicate consumedAsAddressOperand(Operand operand) {
/**
* Holds if `operand` may originate from a base instruction of an allocation,
* and that operand may transitively flow to an `AddressOperand` whose use is unmodeled.
* and that operand may transitively flow to an `AddressOperand`.
*/
private predicate propagatedFromAllocationBase(Operand operand, Configuration::Allocation allocation) {
consumedAsAddressOperand(operand) and