aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/cpp2a/bit-cast5.C
blob: 5d0d2b3e1b8d9100627b48ca638f116072b13104 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
// { dg-do compile { target { c++20 && { ilp32 || lp64 } } } }

struct A { signed char a, b, c, d, e, f; };
struct B {};
struct C { B a, b; short c; B d; };
struct D { int a : 4, b : 24, c : 4; };
struct E { B a, b; short c; };
struct F { B a; signed char b, c; B d; };

constexpr bool
f1 ()
{
  A a;
  a.c = 23; a.d = 42;
  C b = __builtin_bit_cast (C, a); // OK
  return false;
}

constexpr bool
f2 ()
{
  A a;
  a.a = 1; a.b = 2; a.c = 3; a.e = 4; a.f = 5;
  C b = __builtin_bit_cast (C, a);	// { dg-error "'__builtin_bit_cast' accessing uninitialized byte at offset 3" "" { target { ! default_packed } } }
  return false;
}

constexpr bool
f3 ()
{
  D a;
  a.b = 1;
  F b = __builtin_bit_cast (F, a); // OK
  return false;
}

constexpr bool
f4 ()
{
  D a;
  a.b = 1; a.c = 2;
  E b = __builtin_bit_cast (E, a); // OK
  return false;
}

constexpr bool
f5 ()
{
  D a;
  a.b = 1;
  E b = __builtin_bit_cast (E, a);	// { dg-error "'__builtin_bit_cast' accessing uninitialized byte at offset 3" "" { target { ! default_packed } } }
  return false;
}

constexpr bool
f6 ()
{
  D a;
  a.c = 1;
  E b = __builtin_bit_cast (E, a);	// { dg-error "'__builtin_bit_cast' accessing uninitialized byte at offset 2" "" { target { ! default_packed } } }
  return false;
}

constexpr bool a = f1 ();
constexpr bool b = f2 ();
constexpr bool c = f3 ();
constexpr bool d = f4 ();
constexpr bool e = f5 ();
constexpr bool f = f6 ();