We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent d5b790d commit 43b2a3cCopy full SHA for 43b2a3c
1 file changed
csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPublic.qll
@@ -133,12 +133,14 @@ AssignableDefinitionNode assignableDefinitionNode(AssignableDefinition def) {
133
134
predicate localFlowStep = localFlowStepImpl/2;
135
136
+private predicate localFlowStepPlus(Node source, Node sink) = fastTC(localFlowStep/2)(source, sink)
137
+
138
/**
139
* Holds if data flows from `source` to `sink` in zero or more local
140
* (intra-procedural) steps.
141
*/
142
pragma[inline]
-predicate localFlow(Node source, Node sink) { localFlowStep*(source, sink) }
143
+predicate localFlow(Node source, Node sink) { localFlowStepPlus(source, sink) or source = sink }
144
145
146
* Holds if data can flow from `e1` to `e2` in zero or more
0 commit comments