1 | // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -fsyntax-only -Wcast-align -verify %s |
2 | |
3 | // Simple casts. |
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. |
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 | }; |
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. |
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 | |
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 | |
67 | FnTy test5(void) { |
68 | return (FnTy)&func5; |
69 | } |
70 | |