Predicate signature Make::DataFlowIntegrationInputSig::ssaDefAssigns
Holds if SSA definition def assigns value to the underlying variable.
signature predicate ssaDefAssigns(WriteDefinition def, Expr value)Holds if SSA definition def assigns value to the underlying variable.
signature predicate ssaDefAssigns(WriteDefinition def, Expr value)