gcc/testsuite/objc.dg/exceptions-3.m

   1 /* Contributed by Nicola Pero <nicola.pero@meta-innovation.com>, November 2010.  */
   2 /* { dg-options "-fobjc-exceptions" } */
   3 /* { dg-do compile } */
   4 /* { dg-additional-options "-Wno-objc-root-class" } */
   5
   6 /* Test that the compiler is checking the argument of @catch(), and
   7    produce errors when invalid types are used.  */
   8
   9 #include <objc/objc.h>
  10
  11 @interface MyObject
  12 {
  13   Class isa;
  14 }
  15 @end
  16
  17 @implementation MyObject
  18 @end
  19
  20 @protocol MyProtocol;
  21
  22 typedef MyObject MyObjectTypedef;
  23 typedef MyObject *MyObjectPtrTypedef;
  24 typedef int intTypedef;
  25
  26 int test (id object)
  27 {
  28   int dummy = 0;
  29
  30   @try { @throw object; }
  31   @catch (int x)          /* { dg-error "'@catch' parameter is not a known Objective-C class type" } */
  32     {
  33       dummy++;
  34     }
  35
  36   @try { @throw object; }
  37   @catch (intTypedef x)   /* { dg-error "'@catch' parameter is not a known Objective-C class type" } */
  38     {
  39       dummy++;
  40     }
  41
  42   @try { @throw object; }
  43   @catch (int *x)         /* { dg-error "'@catch' parameter is not a known Objective-C class type" } */
  44     {
  45       dummy++;
  46     }
  47
  48   @try { @throw object; }
  49   @catch (id x)           /* Ok */
  50     {
  51       dummy++;
  52     }
  53
  54   @try { @throw object; }
  55   @catch (id <MyProtocol> x) /* { dg-error "'@catch' parameter cannot be protocol-qualified" } */
  56     {
  57       dummy++;
  58     }
  59
  60   @try { @throw object; }
  61   @catch (MyObject *x)    /* Ok */
  62     {
  63       dummy++;
  64     }
  65
  66   @try { @throw object; }
  67   @catch (MyObject <MyProtocol> *x)  /* { dg-error "'@catch' parameter cannot be protocol-qualified" } */
  68     {
  69       dummy++;
  70     }
  71
  72   @try { @throw object; }
  73   @catch (MyObject x)     /* { dg-error "'@catch' parameter is not a known Objective-C class type" } */
  74     {                     /* { dg-error "conversion to non-scalar type requested" "" { target *-*-* } .-1 } */
  75       dummy++;
  76     }
  77
  78   @try { @throw object; }
  79   @catch (static MyObject *x) /* { dg-error "storage class specified for" } */
  80     {
  81       dummy++;
  82     }
  83
  84   @try { @throw object; }
  85   @catch (MyObjectTypedef *x) /* Ok */
  86     {
  87       dummy++;
  88     }
  89
  90   @try { @throw object; }
  91   @catch (MyObjectTypedef <MyProtocol> *x) /* { dg-error "'@catch' parameter cannot be protocol-qualified" } */
  92     {
  93       dummy++;
  94     }
  95
  96   @try { @throw object; }
  97   @catch (MyObjectPtrTypedef x) /* Ok */
  98     {
  99       dummy++;
 100     }
 101
 102   @try { @throw object; }
 103   @catch (Class x)   /* { dg-error "'@catch' parameter is not a known Objective-C class type" } */
 104     {
 105       dummy++;
 106     }
 107
 108   @try { @throw object; }
 109   @catch (...)            /* Ok */
 110     {
 111       dummy++;
 112     }
 113
 114   return dummy;
 115 }