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