gcc/testsuite/obj-c++.dg/try-catch-9.mm

   1 /* Check that local variables that get modified inside the @try
   2    block survive until the @catch block is reached.  */
   3 /* Developed by Ziemowit Laski <zlaski@apple.com>.  */
   4
   5 /* { dg-options "-fobjc-exceptions -O2" } */
   6 /* { dg-do run } */
   7
   8 #include <objc/Object.h>
   9 #include <stdlib.h>
  10 #include <stdio.h>
  11
  12 int gi1 = 9, gi2 = 19;
  13 float gf1 = 9.0, gf2 = 19.0;
  14 id obj2 = nil;
  15
  16 void foo (int arg1, float *arg2)
  17 {
  18   int *pi = &gi1;
  19   float *pf = &gf1;
  20   id obj1 = nil;
  21   int local1 = 45, local2 = 47;
  22   float local3 = 3.0, local4 = 4.0;
  23   register int local5 = 15;
  24   static float local6 = 16.0;
  25
  26   @try {
  27     local1 = 123;
  28     local2 = 345;
  29     local3 = 5.0;
  30     local4 = 6.0;
  31     local5 = 17;
  32     local6 = 18.0;
  33     pi = &gi2;
  34     pf = &gf2;
  35     obj2 = obj1 = [Object new];
  36     arg1 = 17;
  37     arg2 = &gf2;
  38
  39     @throw [Object new];
  40   }
  41   @catch (Object *obj) {
  42    if (local1 != 123 || local2 != 345 || local3 != 5.0
  43        || local4 != 6.0 || local5 != 17 || local6 != 18.0) {
  44      printf("Abort 1\n");
  45      abort();
  46    }
  47    if (pi != &gi2 || pf != &gf2) {
  48      printf("Abort 2\n");
  49      abort();
  50    }
  51    if (!obj1 || obj1 != obj2) {
  52      printf("Abort 3\n");
  53      abort();
  54    }
  55    if (arg1 != 17 || arg2 != &gf2) {
  56      printf("Abort 4\n");
  57      abort();
  58    }
  59   }
  60 }
  61
  62 int main(void) {
  63   foo(15, &gf1);
  64   return 0;
  65 }