1 // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -fsyntax-only -Wcast-align -verify %s
2
3 // Simple casts.
test0(char * P)4 void test0(char *P) {
5 char *a = (char*) P;
6 short *b = (short*) P; // expected-warning {{cast from 'char *' to 'short *' increases required alignment from 1 to 2}}
7 int *c = (int*) P; // expected-warning {{cast from 'char *' to 'int *' increases required alignment from 1 to 4}}
8 }
9
10 // Casts from void* are a special case.
test1(void * P)11 void test1(void *P) {
12 char *a = (char*) P;
13 short *b = (short*) P;
14 int *c = (int*) P;
15
16 const volatile void *P2 = P;
17 char *d = (char*) P2;
18 short *e = (short*) P2;
19 int *f = (int*) P2;
20
21 const char *g = (const char*) P2;
22 const short *h = (const short*) P2;
23 const int *i = (const int*) P2;
24
25 const volatile char *j = (const volatile char*) P2;
26 const volatile short *k = (const volatile short*) P2;
27 const volatile int *l = (const volatile int*) P2;
28 }
29
30 // Aligned struct.
31 struct __attribute__((aligned(16))) A {
32 char buffer[16];
33 };
test2(char * P)34 void test2(char *P) {
35 struct A *a = (struct A*) P; // expected-warning {{cast from 'char *' to 'struct A *' increases required alignment from 1 to 16}}
36 }
37
38 // Incomplete type.
test3(char * P)39 void test3(char *P) {
40 struct B *b = (struct B*) P;
41 }
42
43 // Do not issue a warning. The aligned attribute changes the alignment of the
44 // variables and fields.
45 char __attribute__((aligned(4))) a[16];
46
47 struct S0 {
48 char a[16];
49 };
50
51 struct S {
52 char __attribute__((aligned(4))) a[16];
53 struct S0 __attribute__((aligned(4))) s0;
54 };
55
test4()56 void test4() {
57 struct S s;
58 int *i = (int *)s.a;
59 i = (int *)&s.s0;
60 i = (int *)a;
61 }
62
63 // No warnings.
64 typedef int (*FnTy)(void);
65 unsigned int func5(void);
66
test5(void)67 FnTy test5(void) {
68 return (FnTy)&func5;
69 }
70