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

C++: Make 'getAddressOperand' available on 'DefImpl'.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-04-26 17:17:19 +01:00
parent 044ee9b08a
commit 9874d40d29
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll
View File

@@ -256,11 +256,17 @@ abstract class DefImpl extends DefOrUseImpl {
override string toString() { result = "Def of " + this.getSourceVariable() }
/** Gets the indirection of this definition. */
abstract int getIndirection();
/** Holds if this definition is guaranteed to overwrite the entire destination allocation. */
abstract predicate isCertain();
/** Gets the value stored by this definition (i.e., the "right-hand side", if any. */
abstract Node0Impl getValue();
/** Gets the operand representing the destination address of this definition, if any. */
Operand getAddressOperand() { none() }
}
/** An initial definition of an `IRVariable`'s address. */
@@ -303,7 +309,7 @@ abstract private class OperandBasedDef extends DefImpl {
bindingset[ind]
OperandBasedDef() { any() }
Operand getAddressOperand() { result = address }
override Operand getAddressOperand() { result = address }
override Cpp::Location getLocation() { result = this.getAddressOperand().getUse().getLocation() }