/* Check that local variables that get modified inside the @try
|
/* Check that local variables that get modified inside the @try
|
block survive until the @catch block is reached. */
|
block survive until the @catch block is reached. */
|
/* Developed by Ziemowit Laski <zlaski@apple.com>. */
|
/* Developed by Ziemowit Laski <zlaski@apple.com>. */
|
|
|
#include <objc/Object.h>
|
#include <objc/Object.h>
|
#include <stdlib.h>
|
#include <stdlib.h>
|
#include <stdio.h>
|
#include <stdio.h>
|
|
|
int gi1 = 9, gi2 = 19;
|
int gi1 = 9, gi2 = 19;
|
float gf1 = 9.0, gf2 = 19.0;
|
float gf1 = 9.0, gf2 = 19.0;
|
id obj2 = nil;
|
id obj2 = nil;
|
|
|
void foo (int arg1, float *arg2)
|
void foo (int arg1, float *arg2)
|
{
|
{
|
int *pi = &gi1;
|
int *pi = &gi1;
|
float *pf = &gf1;
|
float *pf = &gf1;
|
id obj1 = nil;
|
id obj1 = nil;
|
int local1 = 45, local2 = 47;
|
int local1 = 45, local2 = 47;
|
float local3 = 3.0, local4 = 4.0;
|
float local3 = 3.0, local4 = 4.0;
|
register int local5 = 15;
|
register int local5 = 15;
|
static float local6 = 16.0;
|
static float local6 = 16.0;
|
|
|
@try {
|
@try {
|
local1 = 123;
|
local1 = 123;
|
local2 = 345;
|
local2 = 345;
|
local3 = 5.0;
|
local3 = 5.0;
|
local4 = 6.0;
|
local4 = 6.0;
|
local5 = 17;
|
local5 = 17;
|
local6 = 18.0;
|
local6 = 18.0;
|
pi = &gi2;
|
pi = &gi2;
|
pf = &gf2;
|
pf = &gf2;
|
obj2 = obj1 = [Object new];
|
obj2 = obj1 = [Object new];
|
arg1 = 17;
|
arg1 = 17;
|
arg2 = &gf2;
|
arg2 = &gf2;
|
|
|
@throw [Object new];
|
@throw [Object new];
|
}
|
}
|
@catch (Object *obj) {
|
@catch (Object *obj) {
|
if (local1 != 123 || local2 != 345 || local3 != 5.0 || local4 != 6.0
|
if (local1 != 123 || local2 != 345 || local3 != 5.0 || local4 != 6.0
|
|| local5 != 17 || local6 != 18.0) {
|
|| local5 != 17 || local6 != 18.0) {
|
printf("Abort 1\n");
|
printf("Abort 1\n");
|
abort();
|
abort();
|
}
|
}
|
if(pi != &gi2 || pf != &gf2) {
|
if(pi != &gi2 || pf != &gf2) {
|
printf("Abort 2\n");
|
printf("Abort 2\n");
|
abort();
|
abort();
|
}
|
}
|
if(!obj1 || obj1 != obj2) {
|
if(!obj1 || obj1 != obj2) {
|
printf("Abort 3\n");
|
printf("Abort 3\n");
|
abort();
|
abort();
|
}
|
}
|
if(arg1 != 17 || arg2 != &gf2) {
|
if(arg1 != 17 || arg2 != &gf2) {
|
printf("Abort 4\n");
|
printf("Abort 4\n");
|
abort();
|
abort();
|
}
|
}
|
}
|
}
|
}
|
}
|
|
|
int main(void) {
|
int main(void) {
|
foo(15, &gf1);
|
foo(15, &gf1);
|
return 0;
|
return 0;
|
}
|
}
|
|
|