Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit cf5f838

Browse files
hvitvedhvitved
committed
Data flow: Remove recommendation to use unique in Node::getEnclosingCallable() 
1 parent f130616 commit cf5f838

1 file changed

Lines changed: 0 additions & 4 deletions

File tree

‎docs/ql-libraries/dataflow/dataflow.md‎

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -98,10 +98,6 @@ Recommendations:
9898
also work, but the upside of `use-use` steps is that sources defined in terms
9999
of variable reads just work out of the box. It also makes certain
100100
barrier-implementations simpler.
101-
* A predicate `DataFlowCallable Node::getEnclosingCallable()` is required, and in
102-
order to ensure appropriate join-orders, it is important that the QL compiler knows
103-
that this predicate is functional. It can therefore be necessary to enclose the body
104-
of this predicate in a `unique` aggregate.
105101

106102
The shared library does not use `localFlowStep` nor `localFlow` but users of
107103
`DataFlow.qll` may expect the existence of `DataFlow::localFlowStep` and

0 commit comments

Comments
 (0)