File tree Expand file tree Collapse file tree 3 files changed +3
-6
lines changed
Expand file tree Collapse file tree 3 files changed +3
-6
lines changed Original file line number Diff line number Diff line change @@ -48,9 +48,6 @@ private module BbImpl = BB::Make<Location, Input>;
4848class BasicBlock extends BbImpl:: BasicBlock {
4949 /** Gets the basic block that immediately dominates this basic block. */
5050 ReachableBasicBlock getImmediateDominator ( ) { result .immediatelyDominates ( this ) }
51-
52- /** Gets the innermost function or file to which this basic block belongs. */
53- ControlFlow:: Root getRoot ( ) { result = this .getScope ( ) }
5451}
5552
5653cached
Original file line number Diff line number Diff line change @@ -144,7 +144,7 @@ class SsaDefinition extends TSsaDefinition {
144144 abstract string prettyPrintRef ( ) ;
145145
146146 /** Gets the innermost function or file to which this SSA definition belongs. */
147- ControlFlow:: Root getRoot ( ) { result = this .getBasicBlock ( ) .getRoot ( ) }
147+ ControlFlow:: Root getRoot ( ) { result = this .getBasicBlock ( ) .getScope ( ) }
148148
149149 /** Gets a textual representation of this element. */
150150 string toString ( ) { result = this .prettyPrintDef ( ) }
Original file line number Diff line number Diff line change @@ -86,15 +86,15 @@ private module Internal {
8686
8787 /** Holds if the `i`th node of `bb` in function `f` is an entry node. */
8888 private predicate entryNode ( FuncDef f , ReachableBasicBlock bb , int i ) {
89- f = bb .getRoot ( ) and
89+ f = bb .getScope ( ) and
9090 bb .getNode ( i ) .isEntryNode ( )
9191 }
9292
9393 /**
9494 * Holds if the `i`th node of `bb` in function `f` is a function call.
9595 */
9696 private predicate callNode ( FuncDef f , ReachableBasicBlock bb , int i ) {
97- f = bb .getRoot ( ) and
97+ f = bb .getScope ( ) and
9898 bb .getNode ( i ) .( IR:: EvalInstruction ) .getExpr ( ) instanceof CallExpr
9999 }
100100
You can’t perform that action at this time.
0 commit comments