We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 8e9ac18 commit 3f5ab60Copy full SHA for 3f5ab60
cpp/ql/lib/semmle/code/cpp/rangeanalysis/RangeSSA.qll
@@ -94,6 +94,7 @@ class RangeSsaDefinition extends ControlFlowNodeBase {
94
predicate isPhiNode(StackVariable v) { exists(RangeSSA x | x.phi_node(v, this.(BasicBlock))) }
95
96
/**
97
+ * DEPRECATED: Use isGuardPhi/4 instead
98
* If this definition is a phi node corresponding to a guard,
99
* then return the variable access and the guard.
100
*/
0 commit comments