Searched refs:AssumeZeroReturn (Results 1 – 1 of 1) sorted by relevance
557 ProgramStateRef AssumeZeroReturn = State; in updateOutParameters() local562 AssumeZeroReturn = AssumeZeroReturn->assume(*DL, false); in updateOutParameters()595 AssumeZeroReturn = makeNotOwnedParameter(AssumeZeroReturn); in updateOutParameters()599 AssumeZeroReturn = makeOwnedParameter(AssumeZeroReturn); in updateOutParameters()605 AssumeZeroReturn = makeOwnedParameter(AssumeZeroReturn); in updateOutParameters()613 return {AssumeNonZeroReturn, AssumeZeroReturn}; in updateOutParameters()615 assert(AssumeZeroReturn == AssumeNonZeroReturn); in updateOutParameters()616 return {AssumeZeroReturn}; in updateOutParameters()