141 lines · cpp
1// RUN: %clang_cc1 -triple x86_64-unknown-unknown -fsyntax-only -Wcast-qual -verify %s2 3#include <stdint.h>4 5// do *NOT* warn on const_cast<>()6// use clang-tidy's cppcoreguidelines-pro-type-const-cast for that.7void foo_ptr() {8 const char *const ptr = 0;9 char *t0 = const_cast<char *>(ptr); // no warning10 11 volatile char *ptr2 = 0;12 char *t1 = const_cast<char *>(ptr2); // no warning13 14 const volatile char *ptr3 = 0;15 char *t2 = const_cast<char *>(ptr3); // no warning16}17 18void cstr() {19 void* p0 = (void*)(const void*)"txt"; // expected-warning {{cast from 'const void *' to 'void *' drops const qualifier}}20 void* p1 = (void*)"txt"; // FIXME21 char* p2 = (char*)"txt"; // expected-warning {{cast from 'const char *' to 'char *' drops const qualifier}}22}23 24void foo_0() {25 const int a = 0;26 27 const int &a0 = a; // no warning28 const int &a1 = (const int &)a; // no warning29 30 int &a2 = (int &)a; // expected-warning {{cast from 'const int' to 'int &' drops const qualifier}}31 const int &a3 = (int &)a; // expected-warning {{cast from 'const int' to 'int &' drops const qualifier}}32 int &a4 = (int &)((const int &)a); // expected-warning {{cast from 'const int' to 'int &' drops const qualifier}}33 int &a5 = (int &)((int &)a); // expected-warning {{cast from 'const int' to 'int &' drops const qualifier}}34 const int &a6 = (int &)((int &)a); // expected-warning {{cast from 'const int' to 'int &' drops const qualifier}}35 const int &a7 = (int &)((const int &)a); // expected-warning {{cast from 'const int' to 'int &' drops const qualifier}}36 const int &a8 = (const int &)((int &)a); // expected-warning {{cast from 'const int' to 'int &' drops const qualifier}}37}38 39void foo_1() {40 volatile int a = 0;41 42 volatile int &a0 = a; // no warning43 volatile int &a1 = (volatile int &)a; // no warning44 45 int &a2 = (int &)a; // expected-warning {{cast from 'volatile int' to 'int &' drops volatile qualifier}}46 volatile int &a3 = (int &)a; // expected-warning {{cast from 'volatile int' to 'int &' drops volatile qualifier}}47 int &a4 = (int &)((volatile int &)a); // expected-warning {{cast from 'volatile int' to 'int &' drops volatile qualifier}}48 int &a5 = (int &)((int &)a); // expected-warning {{cast from 'volatile int' to 'int &' drops volatile qualifier}}49 volatile int &a6 = (int &)((int &)a); // expected-warning {{cast from 'volatile int' to 'int &' drops volatile qualifier}}50 volatile int &a7 = (int &)((volatile int &)a); // expected-warning {{cast from 'volatile int' to 'int &' drops volatile qualifier}}51 volatile int &a8 = (volatile int &)((int &)a); // expected-warning {{cast from 'volatile int' to 'int &' drops volatile qualifier}}52}53 54void foo_2() {55 const volatile int a = 0;56 57 const volatile int &a0 = a; // no warning58 const volatile int &a1 = (const volatile int &)a; // no warning59 60 int &a2 = (int &)a; // expected-warning {{cast from 'const volatile int' to 'int &' drops const and volatile qualifiers}}61 const volatile int &a3 = (int &)a; // expected-warning {{cast from 'const volatile int' to 'int &' drops const and volatile qualifiers}}62 int &a4 = (int &)((const volatile int &)a); // expected-warning {{cast from 'const volatile int' to 'int &' drops const and volatile qualifiers}}63 int &a5 = (int &)((int &)a); // expected-warning {{cast from 'const volatile int' to 'int &' drops const and volatile qualifiers}}64 const volatile int &a6 = (int &)((int &)a); // expected-warning {{cast from 'const volatile int' to 'int &' drops const and volatile qualifiers}}65 const volatile int &a7 = (int &)((const volatile int &)a); // expected-warning {{cast from 'const volatile int' to 'int &' drops const and volatile qualifiers}}66 const volatile int &a8 = (const volatile int &)((int &)a); // expected-warning {{cast from 'const volatile int' to 'int &' drops const and volatile qualifiers}}67}68 69void bar_0() {70 const int *_a = 0;71 const int **a = &_a;72 73 int **a0 = (int **)((const int **)a); // expected-warning {{cast from 'const int *' to 'int *' drops const qualifier}}74 int **a1 = (int **)((int **)a); // expected-warning {{cast from 'const int *' to 'int *' drops const qualifier}}75 76 // const int **a2 = (int **)((int **)a);77 // const int **a3 = (int **)((const int **)a);78 79 const int **a4 = (const int **)((int **)a); // expected-warning {{cast from 'const int *' to 'int *' drops const qualifier}} expected-warning {{cast from 'int **' to 'const int **' must have all intermediate pointers const qualified to be safe}}80 const int **a5 = (const int **)((const int **)a); // no warning81}82 83void bar_1() {84 const int *_a = 0;85 const int *&a = _a;86 87 int *&a0 = (int *&)((const int *&)a); // expected-warning {{cast from 'const int *' to 'int *' drops const qualifier}}88 int *&a1 = (int *&)((int *&)a); // expected-warning {{cast from 'const int *' to 'int *' drops const qualifier}}89 90 // const int *&a2 = (int *&)((int *&)a);91 // const int *&a3 = (int *&)((const int *&)a);92 93 const int *&a4 = (const int *&)((int *&)a); // expected-warning {{cast from 'const int *' to 'int *' drops const qualifier}} expected-warning {{cast from 'int *' to 'const int *&' must have all intermediate pointers const qualified to be safe}}94 const int *&a5 = (const int *&)((const int *&)a); // no warning95}96 97void baz_0() {98 struct C {99 void A() {}100 void B() const {}101 };102 103 const C S;104 S.B();105 106 ((C &)S).B(); // expected-warning {{cast from 'const C' to 'C &' drops const qualifier}}107 ((C &)S).A(); // expected-warning {{cast from 'const C' to 'C &' drops const qualifier}}108 109 ((C *)&S)->B(); // expected-warning {{cast from 'const C *' to 'C *' drops const qualifier}}110 ((C *)&S)->A(); // expected-warning {{cast from 'const C *' to 'C *' drops const qualifier}}111}112 113void baz_1() {114 struct C {115 const int a;116 int b;117 118 C() : a(0) {}119 };120 121 {122 C S;123 S.b = 0;124 125 (int &)(S.a) = 0; // expected-warning {{cast from 'const int' to 'int &' drops const qualifier}}126 (int &)(S.b) = 0; // no warning127 128 *(int *)(&S.a) = 0; // expected-warning {{cast from 'const int *' to 'int *' drops const qualifier}}129 *(int *)(&S.b) = 0; // no warning130 }131 {132 const C S;133 134 (int &)(S.a) = 0; // expected-warning {{cast from 'const int' to 'int &' drops const qualifier}}135 (int &)(S.b) = 0; // expected-warning {{cast from 'const int' to 'int &' drops const qualifier}}136 137 *(int *)(&S.a) = 0; // expected-warning {{cast from 'const int *' to 'int *' drops const qualifier}}138 *(int *)(&S.b) = 0; // expected-warning {{cast from 'const int *' to 'int *' drops const qualifier}}139 }140}141