38 - (int *_Nonnull)returnsNonnull;
41 - (void)takesNonnull:(int *_Nonnull)p;  argument
48 TestObject *_Nonnull getNonnullTestObject();
56 void takesNonnull(Dummy *_Nonnull);
60 Dummy *_Nonnull returnsNonnull();
108   Dummy *_Nonnull nonnull = &a;
115 void testMultiParamChecking(Dummy *_Nonnull a, Dummy *_Nullable b,
116                             Dummy *_Nonnull c);
118 void testArgumentTracking(Dummy *_Nonnull nonnull, Dummy *_Nullable nullable) {
130   case 9: testMultiParamChecking((Dummy *_Nonnull)0, nullable, nonnull); break;
134 Dummy *_Nonnull testNullableReturn(Dummy *_Nullable a) {
139 Dummy *_Nonnull testNullReturn() {
185 Dummy * _Nonnull testDirectCastNullableToNonnull() {
187   takesNonnull((Dummy * _Nonnull)p);  // no-warning
188   return (Dummy * _Nonnull)p;         // no-warning
191 Dummy * _Nonnull testIndirectCastNullableToNonnull() {
192   Dummy *p = (Dummy * _Nonnull)returnsNullable();
197 Dummy * _Nonnull testDirectCastNilToNonnull() {
198   takesNonnull((Dummy * _Nonnull)0);  // no-warning
199   return (Dummy * _Nonnull)0;         // no-warning
203   Dummy *p = (Dummy * _Nonnull)0;
209   Dummy * _Nonnull nonnullLocalWithAssignmentInInitializer = (Dummy * _Nonnull)0; // no-warning
219 void testDirectCastNilToNonnullAndAssignToLocal(Dummy * _Nonnull p) {
220   Dummy * _Nonnull nonnullLocalWithAssignment = p;
221   nonnullLocalWithAssignment = (Dummy * _Nonnull)0; // no-warning
230 void testDirectCastNilToNonnullAndAssignToParam(Dummy * _Nonnull p) {
231   p = (Dummy * _Nonnull)0; // no-warning
241   _nonnullIvar = (Dummy * _Nonnull)0; // no-warning;
260 Dummy * _Nonnull testIndirectCastNilToNonnullAndReturn() {
261   Dummy *p = (Dummy * _Nonnull)0;
282 Dummy *_Nonnull doNotWarnWhenPreconditionIsViolatedInTopFunc(
283     Dummy *_Nonnull p) {
296 Dummy *_Nonnull doNotWarnWhenPreconditionIsViolated(Dummy *_Nonnull p) {
317 -(Dummy * _Nonnull) calleeWithParam:(Dummy * _Nonnull) p2 {  argument
325 -(Dummy *)callerWithParam:(Dummy * _Nonnull) p1 {  argument
331 int * _Nonnull InlinedPreconditionViolationInFunctionCallee(int * _Nonnull p2) {
339 int * _Nonnull InlinedReturnNullOverSuppressionCallee(int * _Nonnull p2) {
344 int *InlinedReturnNullOverSuppressionCaller(int * _Nonnull p1) {
351 void inlinedNonnull(Dummy *_Nonnull p) {
360   Dummy *_Nonnull (^myblock)(void) = ^Dummy *_Nonnull(void) {
366 Dummy *_Nonnull testDefensiveInlineChecks(Dummy * p) {
376     Dummy *_Nonnull varWithInitializer = p; // no-warning
378      Dummy *_Nonnull var1WithInitializer = p,  // no-warning
379            *_Nonnull var2WithInitializer = p;  // no-warning
383     Dummy *_Nonnull varWithoutInitializer;
405 - (TestObject * _Nonnull)testReturnsNullableInNonnullIndirectly {
410 - (TestObject * _Nonnull)testReturnsCastSuppressedNullableInNonnullIndirectly {
412   return (TestObject * _Nonnull)local; // no-warning
415 - (TestObject * _Nonnull)testReturnsNullableInNonnullWhenPreconditionViolated:(TestObject * _Nonnul…  argument
428 - (instancetype _Nonnull)initWithNonnullReturnAndSelfCheckingIdiom {
437 - (instancetype _Nonnull)initWithNonnullReturnAndNilReturnViaLocal {
454 // the return type of this method becomes implicitly id _Nonnull.
462 - (id _Nonnull)initWithNonnullReturnAndSelfCheckingIdiomV2; {
525   MyInternalClass * _Nonnull _internal;
533 -(id _Nonnull)methodWithInternalImplementation;
537   MyInternalClass * _Nonnull _nilledOutInternal;
542 -(id _Nonnull)methodWithInternalImplementation {
549 - (id _Nonnull)methodReturningIvarInImplementation; {
553 -(id _Nonnull)methodWithNilledOutInternal {
554   _nilledOutInternal = (id _Nonnull)nil;