Searched refs:makeOwnedParameter (Results 1 – 1 of 1) sorted by relevance
571 auto makeOwnedParameter = [&](ProgramStateRef St) { in updateOutParameters() local582 AssumeNonZeroReturn = makeOwnedParameter(AssumeNonZeroReturn); in updateOutParameters()583 AssumeZeroReturn = makeOwnedParameter(AssumeZeroReturn); in updateOutParameters()586 AssumeNonZeroReturn = makeOwnedParameter(AssumeNonZeroReturn); in updateOutParameters()589 AssumeZeroReturn = makeOwnedParameter(AssumeZeroReturn); in updateOutParameters()