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