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" }
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" }
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" }
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 ();
|
