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++: Delete dead code.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-03-06 09:48:10 +01:00
parent 6ba1d2ef14
commit 4bd35b10fc
1 changed files with 1 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1835,9 +1835,7 @@ module IteratorFlow {
private module IteratorSsa = SsaImpl::Make<Location, SsaInput>; private module IteratorSsa = SsaImpl::Make<Location, SsaInput>;
cached cached
private newtype TSsaDef = private newtype TSsaDef = TDef(IteratorSsa::DefinitionExt def)
TDef(IteratorSsa::DefinitionExt def) or
TPhi(PhiNode phi)
abstract private class SsaDef extends TSsaDef { abstract private class SsaDef extends TSsaDef {
/** Gets a textual representation of this element. */ /** Gets a textual representation of this element. */
@@ -1889,20 +1887,6 @@ module IteratorFlow {
int getIndirectionIndex() { result = this.getImpl().getIndirectionIndex() } int getIndirectionIndex() { result = this.getImpl().getIndirectionIndex() }
} }
private class Phi extends TPhi, SsaDef {
PhiNode phi;
Phi() { this = TPhi(phi) }
final override PhiNode asPhi() { result = phi }
final override Location getLocation() { result = phi.getBasicBlock().getLocation() }
override string toString() { result = phi.toString() }
SsaIteratorNode getNode() { result.getIteratorFlowNode() = phi }
}
private class PhiNode extends IteratorSsa::DefinitionExt { private class PhiNode extends IteratorSsa::DefinitionExt {
PhiNode() { PhiNode() {
this instanceof IteratorSsa::PhiNode or this instanceof IteratorSsa::PhiNode or