/* Check if the @defs() construct preserves the correct
|
/* Check if the @defs() construct preserves the correct
|
offsets of ivars. */
|
offsets of ivars. */
|
/* Contributed by Ziemowit Laski <zlaski@apple.com>. */
|
/* Contributed by Ziemowit Laski <zlaski@apple.com>. */
|
/* { dg-options "-lobjc" } */
|
/* { dg-options "-lobjc" } */
|
/* { dg-do run } */
|
/* { dg-do run } */
|
|
|
#include <objc/objc.h>
|
#include <objc/objc.h>
|
#include <objc/Object.h>
|
#include <objc/Object.h>
|
|
|
extern void abort(void);
|
extern void abort(void);
|
|
|
#define CHECK_IF(expr) if(!(expr)) abort();
|
#define CHECK_IF(expr) if(!(expr)) abort();
|
|
|
@interface Base: Object {
|
@interface Base: Object {
|
@public
|
@public
|
int a;
|
int a;
|
float b;
|
float b;
|
char c;
|
char c;
|
}
|
}
|
@end
|
@end
|
|
|
@interface Derived: Base {
|
@interface Derived: Base {
|
@public
|
@public
|
double d;
|
double d;
|
unsigned e;
|
unsigned e;
|
id f;
|
id f;
|
}
|
}
|
- init;
|
- init;
|
@end
|
@end
|
|
|
struct Derived_defs {
|
struct Derived_defs {
|
@defs(Derived);
|
@defs(Derived);
|
};
|
};
|
|
|
@implementation Base
|
@implementation Base
|
@end
|
@end
|
@implementation Derived
|
@implementation Derived
|
- init {
|
- init {
|
[super init];
|
[super init];
|
a = 123;
|
a = 123;
|
b = 1.23;
|
b = 1.23;
|
c = 'c';
|
c = 'c';
|
d = 123.456;
|
d = 123.456;
|
e = 456;
|
e = 456;
|
f = isa;
|
f = isa;
|
return self;
|
return self;
|
}
|
}
|
@end
|
@end
|
|
|
int main(void) {
|
int main(void) {
|
Derived *derived = [[Derived alloc] init];
|
Derived *derived = [[Derived alloc] init];
|
struct Derived_defs *derived_defs = (struct Derived_defs *)derived;
|
struct Derived_defs *derived_defs = (struct Derived_defs *)derived;
|
|
|
CHECK_IF(derived->a == derived_defs->a && derived_defs->a == 123);
|
CHECK_IF(derived->a == derived_defs->a && derived_defs->a == 123);
|
CHECK_IF(derived->b == derived_defs->b && derived_defs->b == (float)1.23);
|
CHECK_IF(derived->b == derived_defs->b && derived_defs->b == (float)1.23);
|
CHECK_IF(derived->c == derived_defs->c && derived_defs->c == 'c');
|
CHECK_IF(derived->c == derived_defs->c && derived_defs->c == 'c');
|
CHECK_IF(derived->d == derived_defs->d && derived_defs->d == (double)123.456);
|
CHECK_IF(derived->d == derived_defs->d && derived_defs->d == (double)123.456);
|
CHECK_IF(derived->e == derived_defs->e && derived_defs->e == 456);
|
CHECK_IF(derived->e == derived_defs->e && derived_defs->e == 456);
|
CHECK_IF(derived->f == derived_defs->f && derived_defs->f == derived_defs->isa);
|
CHECK_IF(derived->f == derived_defs->f && derived_defs->f == derived_defs->isa);
|
|
|
/* Try out the "inline" notation as well. */
|
/* Try out the "inline" notation as well. */
|
CHECK_IF(((struct { @defs(Derived); } *)derived)->a == 123);
|
CHECK_IF(((struct { @defs(Derived); } *)derived)->a == 123);
|
CHECK_IF(((struct { @defs(Derived); } *)derived)->c == 'c');
|
CHECK_IF(((struct { @defs(Derived); } *)derived)->c == 'c');
|
CHECK_IF(((struct { @defs(Derived); } *)derived)->e == 456);
|
CHECK_IF(((struct { @defs(Derived); } *)derived)->e == 456);
|
|
|
return 0;
|
return 0;
|
}
|
}
|
|
|
