Viewing file:  bit-cast5.C (1.28 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
// { 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 ();
|
