Predicate signature Make::DataFlowIntegrationInputSig::ssaDefInitializesParam
Holds if SSA definition def initializes parameter p at function entry.
signature predicate ssaDefInitializesParam(WriteDefinition def, Parameter p)Holds if SSA definition def initializes parameter p at function entry.
signature predicate ssaDefInitializesParam(WriteDefinition def, Parameter p)