// RUN: clang-cc -Wnonnull -fsyntax-only -verify %s

extern void func1 (void (^block1)(), void (^block2)(), int) __attribute__((nonnull));

extern void func3 (void (^block1)(), int, void (^block2)(), int)
  __attribute__((nonnull(1,3)));

extern void func4 (void (^block1)(), void (^block2)()) __attribute__((nonnull(1)))
  __attribute__((nonnull(2)));

void
foo (int i1, int i2, int i3, void (^cp1)(), void (^cp2)(), void (^cp3)())
{
  func1(cp1, cp2, i1);

  func1(0, cp2, i1);  // expected-warning {{argument is null where non-null is required}}
  func1(cp1, 0, i1);  // expected-warning {{argument is null where non-null is required}}
  func1(cp1, cp2, 0);


  func3(0, i2, cp3, i3); // expected-warning {{argument is null where non-null is required}}
  func3(cp3, i2, 0, i3);  // expected-warning {{argument is null where non-null is required}}

  func4(0, cp1); // expected-warning {{argument is null where non-null is required}}
  func4(cp1, 0); // expected-warning {{argument is null where non-null is required}}
}

// RUN: clang-cc -fblocks -Wnonnull -fsyntax-only -verify %s

extern void func1 (void (^block1)(), void (^block2)(), int) __attribute__((nonnull));

extern void func3 (void (^block1)(), int, void (^block2)(), int)
  __attribute__((nonnull(1,3)));

extern void func4 (void (^block1)(), void (^block2)()) __attribute__((nonnull(1)))
  __attribute__((nonnull(2)));

void
foo (int i1, int i2, int i3, void (^cp1)(), void (^cp2)(), void (^cp3)())
{
  func1(cp1, cp2, i1);

  func1(0, cp2, i1);  // expected-warning {{argument is null where non-null is required}}
  func1(cp1, 0, i1);  // expected-warning {{argument is null where non-null is required}}
  func1(cp1, cp2, 0);


  func3(0, i2, cp3, i3); // expected-warning {{argument is null where non-null is required}}
  func3(cp3, i2, 0, i3);  // expected-warning {{argument is null where non-null is required}}

  func4(0, cp1); // expected-warning {{argument is null where non-null is required}}
  func4(cp1, 0); // expected-warning {{argument is null where non-null is required}}
}

Add -fblocks for the test.
Add -fblocks for the test.

git-svn-id: ffe668792ed300d6c2daa1f6eba2e0aa28d7ec6c@72280 91177308-0d34-0410-b5e6-96231b3b80d8
