Skip to content

Commit 9820116

Browse files
authored
Merge pull request github#5603 from hvitved/csharp/dataflow/no-unique
C#: Remove `unique` wrappers from `DataFlow::Node::get(EnclosingCallable|ControlFlowNode)`
2 parents c738f38 + e852540 commit 9820116

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowPublic.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -47,14 +47,14 @@ class Node extends TNode {
4747
cached
4848
final DataFlowCallable getEnclosingCallable() {
4949
Stages::DataFlowStage::forceCachingInSameStage() and
50-
result = unique(DataFlowCallable c | c = this.(NodeImpl).getEnclosingCallableImpl() | c)
50+
result = this.(NodeImpl).getEnclosingCallableImpl()
5151
}
5252

5353
/** Gets the control flow node corresponding to this node, if any. */
5454
cached
5555
final ControlFlow::Node getControlFlowNode() {
5656
Stages::DataFlowStage::forceCachingInSameStage() and
57-
result = unique(ControlFlow::Node n | n = this.(NodeImpl).getControlFlowNodeImpl() | n)
57+
result = this.(NodeImpl).getControlFlowNodeImpl()
5858
}
5959

6060
/** Gets a textual representation of this node. */

0 commit comments

Comments
 (0)