Predicate signature MakeImplCommon::dataFlowNonCallEntry
Holds if data flow enters c
with call context cc
without using a call
edge.
Import path
import codeql.dataflow.internal.DataFlowImplCommon
signature predicate dataFlowNonCallEntry(DataFlowCallable c, boolean cc)