Version 1.25.0
For other CodeQL resources, including tutorials and examples, see Learning CodeQL
.
Holds if the current element is reachable from src.
src
predicate reachableFrom(ControlFlowElement src)