7 - (int *_Nonnull)returnsNonnull;
10 - (void)takesNonnull:(int *_Nonnull)p;  argument
17 TestObject *_Nonnull getNonnullTestObject();
25 void takesNonnull(Dummy *_Nonnull);
29 Dummy *_Nonnull returnsNonnull();
77   Dummy *_Nonnull nonnull = &a;
84 void testMultiParamChecking(Dummy *_Nonnull a, Dummy *_Nullable b,
85                             Dummy *_Nonnull c);
87 void testArgumentTracking(Dummy *_Nonnull nonnull, Dummy *_Nullable nullable) {
99   case 9: testMultiParamChecking((Dummy *_Nonnull)0, nullable, nonnull); break;
103 Dummy *_Nonnull testNullableReturn(Dummy *_Nullable a) {
108 Dummy *_Nonnull testNullReturn() {
154 Dummy * _Nonnull testDirectCastNullableToNonnull() {
156   takesNonnull((Dummy * _Nonnull)p);  // no-warning
157   return (Dummy * _Nonnull)p;         // no-warning
160 Dummy * _Nonnull testIndirectCastNullableToNonnull() {
161   Dummy *p = (Dummy * _Nonnull)returnsNullable();
166 Dummy * _Nonnull testDirectCastNilToNonnull() {
167   takesNonnull((Dummy * _Nonnull)0);  // no-warning
168   return (Dummy * _Nonnull)0;         // no-warning
172   Dummy *p = (Dummy * _Nonnull)0;
178   Dummy * _Nonnull nonnullLocalWithAssignmentInInitializer = (Dummy * _Nonnull)0; // no-warning
188 void testDirectCastNilToNonnullAndAssignToLocal(Dummy * _Nonnull p) {
189   Dummy * _Nonnull nonnullLocalWithAssignment = p;
190   nonnullLocalWithAssignment = (Dummy * _Nonnull)0; // no-warning
199 void testDirectCastNilToNonnullAndAssignToParam(Dummy * _Nonnull p) {
200   p = (Dummy * _Nonnull)0; // no-warning
210   _nonnullIvar = (Dummy * _Nonnull)0; // no-warning;
229 Dummy * _Nonnull testIndirectCastNilToNonnullAndReturn() {
230   Dummy *p = (Dummy * _Nonnull)0;
251 Dummy *_Nonnull doNotWarnWhenPreconditionIsViolatedInTopFunc(
252     Dummy *_Nonnull p) {
265 Dummy *_Nonnull doNotWarnWhenPreconditionIsViolated(Dummy *_Nonnull p) {
286 -(Dummy * _Nonnull) calleeWithParam:(Dummy * _Nonnull) p2 {  argument
294 -(Dummy *)callerWithParam:(Dummy * _Nonnull) p1 {  argument
300 int * _Nonnull InlinedPreconditionViolationInFunctionCallee(int * _Nonnull p2) {
308 int * _Nonnull InlinedReturnNullOverSuppressionCallee(int * _Nonnull p2) {
313 int *InlinedReturnNullOverSuppressionCaller(int * _Nonnull p1) {
320 void inlinedNonnull(Dummy *_Nonnull p) {
329   Dummy *_Nonnull (^myblock)(void) = ^Dummy *_Nonnull(void) {
335 Dummy *_Nonnull testDefensiveInlineChecks(Dummy * p) {
345     Dummy *_Nonnull varWithInitializer = p; // no-warning
347      Dummy *_Nonnull var1WithInitializer = p,  // no-warning
348            *_Nonnull var2WithInitializer = p;  // no-warning
352     Dummy *_Nonnull varWithoutInitializer;
374 - (TestObject * _Nonnull)testReturnsNullableInNonnullIndirectly {
379 - (TestObject * _Nonnull)testReturnsCastSuppressedNullableInNonnullIndirectly {
381   return (TestObject * _Nonnull)local; // no-warning
384 - (TestObject * _Nonnull)testReturnsNullableInNonnullWhenPreconditionViolated:(TestObject * _Nonnul…  argument
397 - (instancetype _Nonnull)initWithNonnullReturnAndSelfCheckingIdiom {
406 - (instancetype _Nonnull)initWithNonnullReturnAndNilReturnViaLocal {
423 // the return type of this method becomes implicitly id _Nonnull.
431 - (id _Nonnull)initWithNonnullReturnAndSelfCheckingIdiomV2; {
494   MyInternalClass * _Nonnull _internal;
502 -(id _Nonnull)methodWithInternalImplementation;
506   MyInternalClass * _Nonnull _nilledOutInternal;
511 -(id _Nonnull)methodWithInternalImplementation {
518 - (id _Nonnull)methodReturningIvarInImplementation; {
522 -(id _Nonnull)methodWithNilledOutInternal {
523   _nilledOutInternal = (id _Nonnull)nil;