annotate clang/test/SemaCXX/builtin-bit-cast.cpp @ 222:81f6424ef0e3 llvm-original

LLVM original branch
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 18 Jul 2021 22:10:01 +0900
parents 1d019706d866
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_cc1 -verify -std=c++2a -fsyntax-only -triple x86_64-apple-macosx10.14.0 %s
anatofuz
parents:
diff changeset
2 // RUN: %clang_cc1 -verify -std=c++2a -fsyntax-only -triple x86_64-apple-macosx10.14.0 %s -fno-signed-char
anatofuz
parents:
diff changeset
3
anatofuz
parents:
diff changeset
4 #if !__has_builtin(__builtin_bit_cast)
anatofuz
parents:
diff changeset
5 #error
anatofuz
parents:
diff changeset
6 #endif
anatofuz
parents:
diff changeset
7
anatofuz
parents:
diff changeset
8 template <class T, T v>
anatofuz
parents:
diff changeset
9 T instantiate() {
anatofuz
parents:
diff changeset
10 return __builtin_bit_cast(T, v);
anatofuz
parents:
diff changeset
11 }
anatofuz
parents:
diff changeset
12
anatofuz
parents:
diff changeset
13 int x = instantiate<int, 32>();
anatofuz
parents:
diff changeset
14
anatofuz
parents:
diff changeset
15 struct secret_ctor {
anatofuz
parents:
diff changeset
16 char member;
anatofuz
parents:
diff changeset
17
anatofuz
parents:
diff changeset
18 private: secret_ctor() = default;
anatofuz
parents:
diff changeset
19 };
anatofuz
parents:
diff changeset
20
anatofuz
parents:
diff changeset
21 void test1() {
anatofuz
parents:
diff changeset
22 secret_ctor c = __builtin_bit_cast(secret_ctor, (char)0);
anatofuz
parents:
diff changeset
23 }
anatofuz
parents:
diff changeset
24
anatofuz
parents:
diff changeset
25 void test2() {
anatofuz
parents:
diff changeset
26 constexpr int i = 0;
anatofuz
parents:
diff changeset
27 // expected-error@+1{{__builtin_bit_cast source size does not equal destination size (4 vs 1)}}
anatofuz
parents:
diff changeset
28 constexpr char c = __builtin_bit_cast(char, i);
anatofuz
parents:
diff changeset
29 }
anatofuz
parents:
diff changeset
30
anatofuz
parents:
diff changeset
31 struct not_trivially_copyable {
anatofuz
parents:
diff changeset
32 virtual void foo() {}
anatofuz
parents:
diff changeset
33 };
anatofuz
parents:
diff changeset
34
anatofuz
parents:
diff changeset
35 // expected-error@+1{{__builtin_bit_cast source type must be trivially copyable}}
anatofuz
parents:
diff changeset
36 constexpr unsigned long ul = __builtin_bit_cast(unsigned long, not_trivially_copyable{});
anatofuz
parents:
diff changeset
37
anatofuz
parents:
diff changeset
38 // expected-error@+1 {{__builtin_bit_cast destination type must be trivially copyable}}
anatofuz
parents:
diff changeset
39 constexpr long us = __builtin_bit_cast(unsigned long &, 0L);
anatofuz
parents:
diff changeset
40
anatofuz
parents:
diff changeset
41 namespace PR42936 {
anatofuz
parents:
diff changeset
42 template <class T> struct S { int m; };
anatofuz
parents:
diff changeset
43
anatofuz
parents:
diff changeset
44 extern S<int> extern_decl;
anatofuz
parents:
diff changeset
45
anatofuz
parents:
diff changeset
46 int x = __builtin_bit_cast(int, extern_decl);
anatofuz
parents:
diff changeset
47 S<char> y = __builtin_bit_cast(S<char>, 0);
anatofuz
parents:
diff changeset
48 }