Member predicate Make::DataFlowIntegration::SsaInputDefinitionExt::hasInputFromBlock
Holds if def may flow into this definition via basic block input.
predicate hasInputFromBlock(DefinitionExt def, SourceVariable v, BasicBlock bb, int i, BasicBlock input)