41 lines
1.2 KiB
C
41 lines
1.2 KiB
C
// RUN: clang -fsyntax-only -Xclang -verify %s
|
|
typedef union {
|
|
int *ip;
|
|
float *fp;
|
|
} TU __attribute__((transparent_union));
|
|
|
|
void f(TU);
|
|
|
|
void g(int *ip, float *fp, char *cp) {
|
|
f(ip);
|
|
f(fp);
|
|
f(cp); // expected-error{{incompatible type}}
|
|
f(0);
|
|
|
|
TU tu_ip = ip; // expected-error{{incompatible type}}
|
|
TU tu;
|
|
tu.ip = ip;
|
|
}
|
|
|
|
/* FIXME: we'd like to just use an "int" here and align it differently
|
|
from the normal "int", but if we do so we lose the alignment
|
|
information from the typedef within the compiler. */
|
|
typedef struct { int x, y; } __attribute__((aligned(8))) aligned_struct8;
|
|
|
|
typedef struct { int x, y; } __attribute__((aligned(4))) aligned_struct4;
|
|
typedef union {
|
|
aligned_struct4 s4; // expected-note{{alignment of first field}}
|
|
aligned_struct8 s8; // expected-warning{{alignment of field}}
|
|
} TU1 __attribute__((transparent_union));
|
|
|
|
typedef union {
|
|
char c; // expected-note{{size of first field is 8 bits}}
|
|
int i; // expected-warning{{size of field}}
|
|
} TU2 __attribute__((transparent_union));
|
|
|
|
typedef union {
|
|
float f; // expected-warning{{floating}}
|
|
} TU3 __attribute__((transparent_union));
|
|
|
|
typedef union { } TU4 __attribute__((transparent_union)); // expected-warning{{field}}
|