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