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.DataFlowImplCommonsignature predicate dataFlowNonCallEntry(DataFlowCallable c, boolean cc)