Lines Matching refs:nonnull

53 void takesAttrNonnull(Dummy *p) __attribute((nonnull(1)));
95   Dummy *_Nonnull nonnull = &a;
96   nonnull = q; // expected-warning {{}}
105 void testArgumentTracking(Dummy *_Nonnull nonnull, Dummy *_Nullable nullable) {
107   Dummy *q = nonnull;
109   case 1: nonnull = p; break; // expected-warning {{}}
112   case 4: testMultiParamChecking(nonnull, nullable, nonnull); break;
113   case 5: testMultiParamChecking(nonnull, nonnull, nonnull); break;
114   case 6: testMultiParamChecking(nonnull, nullable, nullable); break; // expected-warning {{}}
115   case 7: testMultiParamChecking(nullable, nullable, nonnull); // expected-warning {{}}
117   case 9: testMultiParamChecking((Dummy *_Nonnull)0, nullable, nonnull); break;