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.
essa
1 parent 1cbf283 commit 283c711Copy full SHA for 283c711
python/ql/lib/semmle/python/essa/SsaDefinitions.qll
@@ -78,7 +78,9 @@ module SsaSource {
78
79
/** Holds if `v` is defined by a `for` statement, the definition being `defn` */
80
cached
81
- predicate iteration_defined_variable(Variable v, ControlFlowNode defn, ControlFlowNode sequence) {
+ deprecated predicate iteration_defined_variable(
82
+ Variable v, ControlFlowNode defn, ControlFlowNode sequence
83
+ ) {
84
exists(ForNode for | for.iterates(defn, sequence)) and
85
defn.(NameNode).defines(v)
86
}
0 commit comments