Searched refs:AssumeZeroReturn (Results 1 – 1 of 1) sorted by relevance
536 ProgramStateRef AssumeZeroReturn = State; in updateOutParameters() local546 AssumeZeroReturn = AssumeZeroReturn->assume(*DL, false); in updateOutParameters()579 AssumeZeroReturn = makeNotOwnedParameter(AssumeZeroReturn); in updateOutParameters()583 AssumeZeroReturn = makeOwnedParameter(AssumeZeroReturn); in updateOutParameters()589 AssumeZeroReturn = makeOwnedParameter(AssumeZeroReturn); in updateOutParameters()597 return {AssumeNonZeroReturn, AssumeZeroReturn}; in updateOutParameters()599 assert(AssumeZeroReturn == AssumeNonZeroReturn); in updateOutParameters()600 return {AssumeZeroReturn}; in updateOutParameters()