C++: Deprecate RangeSSA::isGuardPhi/3

andersfugmann · andersfugmann · commit 8e9ac18026fb · 2021-09-13T15:35:05.000+02:00
diff --git a/cpp/ql/lib/semmle/code/cpp/rangeanalysis/RangeSSA.qll b/cpp/ql/lib/semmle/code/cpp/rangeanalysis/RangeSSA.qll
@@ -97,7 +97,7 @@ class RangeSsaDefinition extends ControlFlowNodeBase {
    * If this definition is a phi node corresponding to a guard,
    * then return the variable access and the guard.
    */
-  predicate isGuardPhi(VariableAccess va, Expr guard, boolean branch) {
+  deprecated predicate isGuardPhi(VariableAccess va, Expr guard, boolean branch) {
     guard_defn(va, guard, this, branch)
   }
 

Original file line number	Diff line number	Diff line change
`@@ -97,7 +97,7 @@ class RangeSsaDefinition extends ControlFlowNodeBase {`
`97`	`97`	`* If this definition is a phi node corresponding to a guard,`
`98`	`98`	`* then return the variable access and the guard.`
`99`	`99`	`*/`
`100`		`- predicate isGuardPhi(VariableAccess va, Expr guard, boolean branch) {`
	`100`	`+ deprecated predicate isGuardPhi(VariableAccess va, Expr guard, boolean branch) {`
`101`	`101`	`guard_defn(va, guard, this, branch)`
`102`	`102`	`}`
`103`	`103`