reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
546 AssumeNonZeroReturn = AssumeNonZeroReturn->assume(*DL, true); 547 AssumeZeroReturn = AssumeZeroReturn->assume(*DL, false);