Searched refs:AssumeNonZeroReturn (Results 1 – 1 of 1) sorted by relevance
556 ProgramStateRef AssumeNonZeroReturn = State; in updateOutParameters() local561 AssumeNonZeroReturn = AssumeNonZeroReturn->assume(*DL, true); in updateOutParameters()594 AssumeNonZeroReturn = makeNotOwnedParameter(AssumeNonZeroReturn); in updateOutParameters()598 AssumeNonZeroReturn = makeOwnedParameter(AssumeNonZeroReturn); in updateOutParameters()602 AssumeNonZeroReturn = makeOwnedParameter(AssumeNonZeroReturn); in updateOutParameters()613 return {AssumeNonZeroReturn, AssumeZeroReturn}; in updateOutParameters()615 assert(AssumeZeroReturn == AssumeNonZeroReturn); in updateOutParameters()