1 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -fsyntax-only -Wcast-qual -verify %s
2 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -fsyntax-only -Wcast-qual -verify %s -fexperimental-new-constant-interpreter
3 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -x c++ -fsyntax-only -Wcast-qual -verify %s -fexperimental-new-constant-interpreter
4
5 #include <stdint.h>
6
foo(void)7 void foo(void) {
8 const char *const ptr = 0;
9 const char *const *ptrptr = 0;
10 char *const *ptrcptr = 0;
11 char **ptrptr2 = 0;
12 char *y = (char *)ptr; // expected-warning {{cast from 'const char *' to 'char *' drops const qualifier}}
13 char **y1 = (char **)ptrptr; // expected-warning {{cast from 'const char *const *' to 'char **' drops const qualifier}}
14 const char **y2 = (const char **)ptrptr; // expected-warning {{cast from 'const char *const *' to 'const char **' drops const qualifier}}
15 char *const *y3 = (char *const *)ptrptr; // expected-warning {{cast from 'const char *const' to 'char *const' drops const qualifier}}
16 const char **y4 = (const char **)ptrcptr; // expected-warning {{cast from 'char *const *' to 'const char **' drops const qualifier}}
17
18 char *z = (char *)(uintptr_t)(const void *)ptr; // no warning
19 char *z1 = (char *)(const void *)ptr; // expected-warning {{cast from 'const void *' to 'char *' drops const qualifier}}
20
21 volatile char *vol = 0;
22 char *vol2 = (char *)vol; // expected-warning {{cast from 'volatile char *' to 'char *' drops volatile qualifier}}
23 const volatile char *volc = 0;
24 char *volc2 = (char *)volc; // expected-warning {{cast from 'const volatile char *' to 'char *' drops const and volatile qualifiers}}
25
26 int **intptrptr;
27 const int **intptrptrc = (const int **)intptrptr; // expected-warning {{cast from 'int **' to 'const int **' must have all intermediate pointers const qualified}}
28 volatile int **intptrptrv = (volatile int **)intptrptr; // expected-warning {{cast from 'int **' to 'volatile int **' must have all intermediate pointers const qualified}}
29
30 int *intptr;
31 const int *intptrc = (const int *)intptr; // no warning
32
33 const char **charptrptrc;
34 char **charptrptr = (char **)charptrptrc; // expected-warning {{cast from 'const char *' to 'char *' drops const qualifier}}
35
36 const char *constcharptr;
37 char *charptr = (char *)constcharptr; // expected-warning {{cast from 'const char *' to 'char *' drops const qualifier}}
38 const char *constcharptr2 = (char *)constcharptr; // expected-warning {{cast from 'const char *' to 'char *' drops const qualifier}}
39 const char *charptr2 = (char *)charptr; // no warning
40
41 #ifdef __cplusplus
42 using CharPtr = char *;
43 using CharPtrPtr = char **;
44 using ConstCharPtrPtr = const char **;
45 using CharPtrConstPtr = char *const *;
46
47 char *fy = CharPtr(ptr); // expected-warning {{cast from 'const char *' to 'char *' drops const qualifier}}
48 char **fy1 = CharPtrPtr(ptrptr); // expected-warning {{cast from 'const char *const *' to 'char **' drops const qualifier}}
49 const char **fy2 = ConstCharPtrPtr(ptrptr); // expected-warning {{cast from 'const char *const *' to 'const char **' drops const qualifier}}
50 char *const *fy3 = CharPtrConstPtr(ptrptr); // expected-warning {{cast from 'const char *const' to 'char *const' drops const qualifier}}
51 const char **fy4 = ConstCharPtrPtr(ptrcptr); // expected-warning {{cast from 'char *const *' to 'const char **' drops const qualifier}}
52
53 using ConstVoidPtr = const void *;
54 char *fz = CharPtr(uintptr_t(ConstVoidPtr(ptr))); // no warning
55 char *fz1 = CharPtr(ConstVoidPtr(ptr)); // expected-warning {{cast from 'const void *' to 'char *' drops const qualifier}}
56
57 char *fvol2 = CharPtr(vol); // expected-warning {{cast from 'volatile char *' to 'char *' drops volatile qualifier}}
58 char *fvolc2 = CharPtr(volc); // expected-warning {{cast from 'const volatile char *' to 'char *' drops const and volatile qualifiers}}
59
60 using ConstIntPtrPtr = const int **;
61 using VolitileIntPtrPtr = volatile int **;
62 const int **fintptrptrc = ConstIntPtrPtr(intptrptr); // expected-warning {{cast from 'int **' to 'ConstIntPtrPtr' (aka 'const int **') must have all intermediate pointers const qualified}}
63 volatile int **fintptrptrv = VolitileIntPtrPtr(intptrptr); // expected-warning {{cast from 'int **' to 'VolitileIntPtrPtr' (aka 'volatile int **') must have all intermediate pointers const qualified}}
64
65 using ConstIntPtr = const int *;
66 const int *fintptrc = ConstIntPtr(intptr); // no warning
67
68 char **fcharptrptr = CharPtrPtr(charptrptrc); // expected-warning {{cast from 'const char *' to 'char *' drops const qualifier}}
69
70 char *fcharptr = CharPtr(constcharptr); // expected-warning {{cast from 'const char *' to 'char *' drops const qualifier}}
71 const char *fcharptr2 = CharPtr(charptr); // no warning
72 #endif
73 }
74
bar_0(void)75 void bar_0(void) {
76 struct C {
77 const int a;
78 int b;
79 };
80
81 const struct C S = {0, 0};
82
83 *(int *)(&S.a) = 0; // expected-warning {{cast from 'const int *' to 'int *' drops const qualifier}}
84 *(int *)(&S.b) = 0; // expected-warning {{cast from 'const int *' to 'int *' drops const qualifier}}
85
86 #ifdef __cplusplus
87 using IntPtr = int *;
88 *(IntPtr(&S.a)) = 0; // expected-warning {{cast from 'const int *' to 'int *' drops const qualifier}}
89 *(IntPtr(&S.b)) = 0; // expected-warning {{cast from 'const int *' to 'int *' drops const qualifier}}
90 #endif
91 }
92
bar_1(void)93 void bar_1(void) {
94 struct C {
95 const int a;
96 int b;
97 };
98
99 struct C S = {0, 0};
100 S.b = 0; // no warning
101
102 *(int *)(&S.a) = 0; // expected-warning {{cast from 'const int *' to 'int *' drops const qualifier}}
103 *(int *)(&S.b) = 0; // no warning
104
105 #ifdef __cplusplus
106 using IntPtr = int *;
107 *(IntPtr(&S.a)) = 0; // expected-warning {{cast from 'const int *' to 'int *' drops const qualifier}}
108 *(IntPtr(&S.b)) = 0; // no warning
109 #endif
110 }
111