Searched refs:AssumeZeroReturn (Results 1 – 1 of 1) sorted by relevance
537 ProgramStateRef AssumeZeroReturn = State; in updateOutParameters() local547 AssumeZeroReturn = AssumeZeroReturn->assume(*DL, false); in updateOutParameters()580 AssumeZeroReturn = makeNotOwnedParameter(AssumeZeroReturn); in updateOutParameters()584 AssumeZeroReturn = makeOwnedParameter(AssumeZeroReturn); in updateOutParameters()590 AssumeZeroReturn = makeOwnedParameter(AssumeZeroReturn); in updateOutParameters()598 return {AssumeNonZeroReturn, AssumeZeroReturn}; in updateOutParameters()600 assert(AssumeZeroReturn == AssumeNonZeroReturn); in updateOutParameters()601 return {AssumeZeroReturn}; in updateOutParameters()