Searched refs:AssumeNonZeroReturn (Results 1 – 1 of 1) sorted by relevance
535 ProgramStateRef AssumeNonZeroReturn = State; in updateOutParameters() local545 AssumeNonZeroReturn = AssumeNonZeroReturn->assume(*DL, true); in updateOutParameters()578 AssumeNonZeroReturn = makeNotOwnedParameter(AssumeNonZeroReturn); in updateOutParameters()582 AssumeNonZeroReturn = makeOwnedParameter(AssumeNonZeroReturn); in updateOutParameters()586 AssumeNonZeroReturn = makeOwnedParameter(AssumeNonZeroReturn); in updateOutParameters()597 return {AssumeNonZeroReturn, AssumeZeroReturn}; in updateOutParameters()599 assert(AssumeZeroReturn == AssumeNonZeroReturn); in updateOutParameters()