Searched refs:AssumeNonZeroReturn (Results 1 – 1 of 1) sorted by relevance
534 ProgramStateRef AssumeNonZeroReturn = State; in updateOutParameters() local544 AssumeNonZeroReturn = AssumeNonZeroReturn->assume(*DL, true); in updateOutParameters()577 AssumeNonZeroReturn = makeNotOwnedParameter(AssumeNonZeroReturn); in updateOutParameters()581 AssumeNonZeroReturn = makeOwnedParameter(AssumeNonZeroReturn); in updateOutParameters()585 AssumeNonZeroReturn = makeOwnedParameter(AssumeNonZeroReturn); in updateOutParameters()596 return {AssumeNonZeroReturn, AssumeZeroReturn}; in updateOutParameters()598 assert(AssumeZeroReturn == AssumeNonZeroReturn); in updateOutParameters()