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 {
1835
1835
private module IteratorSsa = SsaImpl:: Make< Location , SsaInput > ;
1836
1836
1837
1837
cached
1838
- private newtype TSsaDef =
1839
- TDef ( IteratorSsa:: DefinitionExt def ) or
1840
- TPhi ( PhiNode phi )
1838
+ private newtype TSsaDef = TDef ( IteratorSsa:: DefinitionExt def )
1841
1839
1842
1840
abstract private class SsaDef extends TSsaDef {
1843
1841
/** Gets a textual representation of this element. */
@@ -1889,20 +1887,6 @@ module IteratorFlow {
1889
1887
int getIndirectionIndex ( ) { result = this .getImpl ( ) .getIndirectionIndex ( ) }
1890
1888
}
1891
1889
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
-
1906
1890
private class PhiNode extends IteratorSsa:: DefinitionExt {
1907
1891
PhiNode ( ) {
1908
1892
this instanceof IteratorSsa:: PhiNode or
You can’t perform that action at this time.
0 commit comments