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 3b21108 commit 0b78d1dCopy full SHA for 0b78d1d
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll
@@ -127,6 +127,7 @@ newtype TNode =
127
// TODO: Remove this restriction when adding proper support for captured variables in the body of the function we generate for comprehensions
128
exists(TFunction(f))
129
} or
130
+ /** An empty, unused node type that exists to prevent unwanted dependencies on data flow nodes. */
131
TForbiddenRecursionGuard() {
132
none() and
133
// We want to prune irrelevant models before materialising data flow nodes, so types contributed
0 commit comments