// RUN: %clang_cc1 -verify -fobjc-exceptions %s
@interface A @end
@protocol P;

void f(void) {
  @try {
  } @catch (void a) { // expected-error{{@catch parameter is not a pointer to an interface type}}
  } @catch (int) { // expected-error{{@catch parameter is not a pointer to an interface type}}
  } @catch (int *b) { // expected-error{{@catch parameter is not a pointer to an interface type}}
  } @catch (id <P> c) { // expected-error{{illegal qualifiers on @catch parameter}}
  } @catch(A* a) { }
}