File tree Expand file tree Collapse file tree 1 file changed +1
-17
lines changed
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal Expand file tree Collapse file tree 1 file changed +1
-17
lines changed Original file line number Diff line number Diff line change @@ -1835,9 +1835,7 @@ module IteratorFlow {
18351835 private module IteratorSsa = SsaImpl:: Make< Location , SsaInput > ;
18361836
18371837 cached
1838- private newtype TSsaDef =
1839- TDef ( IteratorSsa:: DefinitionExt def ) or
1840- TPhi ( PhiNode phi )
1838+ private newtype TSsaDef = TDef ( IteratorSsa:: DefinitionExt def )
18411839
18421840 abstract private class SsaDef extends TSsaDef {
18431841 /** Gets a textual representation of this element. */
@@ -1889,20 +1887,6 @@ module IteratorFlow {
18891887 int getIndirectionIndex ( ) { result = this .getImpl ( ) .getIndirectionIndex ( ) }
18901888 }
18911889
1892- private class Phi extends TPhi , SsaDef {
1893- PhiNode phi ;
1894-
1895- Phi ( ) { this = TPhi ( phi ) }
1896-
1897- final override PhiNode asPhi ( ) { result = phi }
1898-
1899- final override Location getLocation ( ) { result = phi .getBasicBlock ( ) .getLocation ( ) }
1900-
1901- override string toString ( ) { result = phi .toString ( ) }
1902-
1903- SsaIteratorNode getNode ( ) { result .getIteratorFlowNode ( ) = phi }
1904- }
1905-
19061890 private class PhiNode extends IteratorSsa:: DefinitionExt {
19071891 PhiNode ( ) {
19081892 this instanceof IteratorSsa:: PhiNode or
You can’t perform that action at this time.
0 commit comments