We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent a22ea6c commit 438e664Copy full SHA for 438e664
1 file changed
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll
@@ -129,9 +129,11 @@ newtype TNode =
129
f = any(VariableCapture::CapturedVariable v).getACapturingScope() and
130
exists(TFunction(f))
131
} or
132
+ /** A synthetic node representing the values of variables captured by a comprehension. */
133
TSynthCompCapturedVariablesArgumentNode(Comp comp) {
134
comp.getFunction() = any(VariableCapture::CapturedVariable v).getACapturingScope()
135
136
+ /** A synthetic node representing the values of variables captured by a comprehension after the output has been computed. */
137
TSynthCompCapturedVariablesArgumentPostUpdateNode(Comp comp) {
138
139
0 commit comments