reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
546 AssumeNonZeroReturn = AssumeNonZeroReturn->assume(*DL, true); 546 AssumeNonZeroReturn = AssumeNonZeroReturn->assume(*DL, true); 579 AssumeNonZeroReturn = makeNotOwnedParameter(AssumeNonZeroReturn); 579 AssumeNonZeroReturn = makeNotOwnedParameter(AssumeNonZeroReturn); 583 AssumeNonZeroReturn = makeOwnedParameter(AssumeNonZeroReturn); 583 AssumeNonZeroReturn = makeOwnedParameter(AssumeNonZeroReturn); 587 AssumeNonZeroReturn = makeOwnedParameter(AssumeNonZeroReturn); 587 AssumeNonZeroReturn = makeOwnedParameter(AssumeNonZeroReturn); 598 return {AssumeNonZeroReturn, AssumeZeroReturn}; 600 assert(AssumeZeroReturn == AssumeNonZeroReturn);