clang/test/Analysis/nullability.m

   1 // RUN: %clang_analyze_cc1 -analyzer-checker core,nullability -w -verify %s
   2
   3 // expected-no-diagnostics
   4
   5 id _Nonnull conjure_nonnull(void);
   6 void use_nullable(_Nullable id x);
   7
   8 id _Nonnull foo(void) {
   9   void *j = conjure_nonnull();
  10   use_nullable(j);
  11   return j; // no-warning
  12 }