test/SemaObjC/nonnull.m

   1 #include "nonnull.h"
   2
   3 // RUN: %clang_cc1 -fblocks -fsyntax-only -verify %s
   4
   5 @class NSObject;
   6
   7 NONNULL_ATTR
   8 int f1(int x); //  no warning
   9 int f2(int *x) __attribute__ ((nonnull (1)));
  10 int f3(int *x) __attribute__ ((nonnull (0))); // expected-error {{'nonnull' attribute parameter 1 is out of bounds}}
  11 int f4(int *x, int *y) __attribute__ ((nonnull (1,2)));
  12 int f5(int *x, int *y) __attribute__ ((nonnull (2,1)));
  13 int f6(NSObject *x) __attribute__ ((nonnull (1))); // no-warning
  14 int f7(NSObject *x) __attribute__ ((nonnull)); // no-warning
  15
  16
  17 extern void func1 (void (^block1)(), void (^block2)(), int) __attribute__((nonnull));
  18
  19 extern void func3 (void (^block1)(), int, void (^block2)(), int)
  20 __attribute__((nonnull(1,3)));
  21
  22 extern void func4 (void (^block1)(), void (^block2)()) __attribute__((nonnull(1)))
  23 __attribute__((nonnull(2)));
  24
  25 void func6();
  26 void func7();
  27
  28 void
  29 foo (int i1, int i2, int i3, void (^cp1)(), void (^cp2)(), void (^cp3)())
  30 {
  31   func1(cp1, cp2, i1);
  32
  33   func1(0, cp2, i1);  // expected-warning {{null passed to a callee which requires a non-null argument}}
  34   func1(cp1, 0, i1);  // expected-warning {{null passed to a callee which requires a non-null argument}}
  35   func1(cp1, cp2, 0);
  36
  37
  38   func3(0, i2, cp3, i3); // expected-warning {{null passed to a callee which requires a non-null argument}}
  39   func3(cp3, i2, 0, i3);  // expected-warning {{null passed to a callee which requires a non-null argument}}
  40
  41   func4(0, cp1); // expected-warning {{null passed to a callee which requires a non-null argument}}
  42   func4(cp1, 0); // expected-warning {{null passed to a callee which requires a non-null argument}}
  43
  44   // Shouldn't these emit warnings?  Clang doesn't, and neither does GCC.  It
  45   // seems that the checking should handle Objective-C pointers.
  46   func6((NSObject*) 0); // no-warning
  47   func7((NSObject*) 0); // no-warning
  48 }
  49
  50 void func5(int) NONNULL_ATTR; //  no warning
  51
  52 // rdar://6857843
  53 struct dispatch_object_s {
  54     int x;
  55 };
  56
  57 typedef union {
  58     long first;
  59     struct dispatch_object_s *_do;
  60 } dispatch_object_t __attribute__((transparent_union));
  61
  62 __attribute__((nonnull))
  63 void _dispatch_queue_push_list(dispatch_object_t _head); // no warning
  64
  65 void func6(dispatch_object_t _head) {
  66   _dispatch_queue_push_list(0); // expected-warning {{null passed to a callee which requires a non-null argument}}
  67   _dispatch_queue_push_list(_head._do);  // no warning
  68 }
  69