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 useless ipa wrapper.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-03-06 10:05:31 +01:00
parent 4bd35b10fc
commit b5a2f5d3ff
1 changed files with 2 additions and 30 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1834,43 +1834,15 @@ module IteratorFlow {
private module IteratorSsa = SsaImpl::Make<Location, SsaInput>; private module IteratorSsa = SsaImpl::Make<Location, SsaInput>;
cached private class Def extends IteratorSsa::DefinitionExt {
private newtype TSsaDef = TDef(IteratorSsa::DefinitionExt def)
abstract private class SsaDef extends TSsaDef {
/** Gets a textual representation of this element. */
string toString() { none() }
/** Gets the underlying non-phi definition or use. */
IteratorSsa::DefinitionExt asDef() { none() }
/** Gets the underlying phi node. */
PhiNode asPhi() { none() }
/** Gets the location of this element. */
abstract Location getLocation();
}
private class Def extends TDef, SsaDef {
IteratorSsa::DefinitionExt def;
Def() { this = TDef(def) }
final override IteratorSsa::DefinitionExt asDef() { result = def }
final override Location getLocation() { result = this.getImpl().getLocation() } final override Location getLocation() { result = this.getImpl().getLocation() }
/** Gets the variable written to by this definition. */
final SourceVariable getSourceVariable() { result = def.getSourceVariable() }
override string toString() { result = def.toString() }
/** /**
* Holds if this definition (or use) has index `index` in block `block`, * Holds if this definition (or use) has index `index` in block `block`,
* and is a definition (or use) of the variable `sv`. * and is a definition (or use) of the variable `sv`.
*/ */
predicate hasIndexInBlock(IRBlock block, int index, SourceVariable sv) { predicate hasIndexInBlock(IRBlock block, int index, SourceVariable sv) {
def.definesAt(sv, block, index, _) super.definesAt(sv, block, index, _)
} }
private Ssa::DefImpl getImpl() { private Ssa::DefImpl getImpl() {