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

C++: Remove another DefinitionExt reference.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-02-27 15:57:55 +01:00
parent c5755ba8d4
commit e01552c3f0
1 changed files with 17 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1075,14 +1075,14 @@ module SsaCached {
} }
/** Gets the `DefImpl` corresponding to `def`. */ /** Gets the `DefImpl` corresponding to `def`. */
private DefImpl getDefImpl(SsaImpl::DefinitionExt def) { private DefImpl getDefImpl(SsaImpl::Definition def) {
exists(SourceVariable sv, IRBlock bb, int i | exists(SourceVariable sv, IRBlock bb, int i |
def.definesAt(sv, bb, i, _) and def.definesAt(sv, bb, i) and
result.hasIndexInBlock(bb, i, sv) result.hasIndexInBlock(bb, i, sv)
) )
} }
class GlobalDef extends DefinitionExt { class GlobalDef extends Definition {
GlobalDefImpl impl; GlobalDefImpl impl;
GlobalDef() { impl = getDefImpl(this) } GlobalDef() { impl = getDefImpl(this) }
@@ -1150,6 +1150,20 @@ class Definition extends SsaImpl::Definition {
* being written to. * being written to.
*/ */
predicate isCertain() { getDefImpl(this).isCertain() } predicate isCertain() { getDefImpl(this).isCertain() }
/**
* Gets the enclosing declaration of this definition.
*
* Note that this may be a variable when this definition defines a global, or
* a static local, variable.
*/
Declaration getFunction() { result = getDefImpl(this).getBlock().getEnclosingFunction() }
/** Gets the underlying type of the variable being defined by this definition. */
Type getUnderlyingType() { result = this.getSourceVariable().getType() }
/** Gets the unspecified type of the variable being defined by this definition. */
Type getUnspecifiedType() { result = this.getUnderlyingType().getUnspecifiedType() }
} }
/** An static single assignment (SSA) definition. */ /** An static single assignment (SSA) definition. */