You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
250 lines
4.0 KiB
250 lines
4.0 KiB
4 months ago
|
// REQUIRES: aarch64-registered-target
|
||
|
// RUN: %clang_cc1 -triple aarch64-linux-gnu -x c++ -std=c++1z %s -verify
|
||
|
// expected-no-diagnostics
|
||
|
|
||
|
#include <stddef.h>
|
||
|
|
||
|
struct t1
|
||
|
{
|
||
|
int foo : 1;
|
||
|
char : 0;
|
||
|
char bar;
|
||
|
|
||
|
};
|
||
|
static_assert(offsetof(struct t1, bar) == 1);
|
||
|
static_assert(sizeof(struct t1) == 4);
|
||
|
|
||
|
struct t2
|
||
|
{
|
||
|
int foo : 1;
|
||
|
short : 0;
|
||
|
char bar;
|
||
|
};
|
||
|
static_assert(offsetof(struct t2, bar) == 2);
|
||
|
static_assert(sizeof(struct t2) == 4);
|
||
|
|
||
|
struct t3
|
||
|
{
|
||
|
int foo : 1;
|
||
|
int : 0;
|
||
|
char bar;
|
||
|
};
|
||
|
static_assert(offsetof(struct t3, bar) == 4);
|
||
|
static_assert(sizeof(struct t3) == 8);
|
||
|
|
||
|
struct t4
|
||
|
{
|
||
|
int foo : 1;
|
||
|
long : 0;
|
||
|
char bar;
|
||
|
};
|
||
|
static_assert(offsetof(struct t4, bar) == 8);
|
||
|
static_assert(sizeof(struct t4) == 16);
|
||
|
|
||
|
struct t5
|
||
|
{
|
||
|
int foo : 1;
|
||
|
long long : 0;
|
||
|
char bar;
|
||
|
};
|
||
|
static_assert(offsetof(struct t5, bar) == 8);
|
||
|
static_assert(sizeof(struct t5) == 16);
|
||
|
|
||
|
struct t6
|
||
|
{
|
||
|
int foo : 1;
|
||
|
char : 0;
|
||
|
char bar : 1;
|
||
|
char bar2;
|
||
|
};
|
||
|
static_assert(offsetof(struct t6, bar2) == 2);
|
||
|
static_assert(sizeof(struct t6) == 4);
|
||
|
|
||
|
struct t7
|
||
|
{
|
||
|
int foo : 1;
|
||
|
short : 0;
|
||
|
char bar1 : 1;
|
||
|
char bar2;
|
||
|
};
|
||
|
static_assert(offsetof(struct t7, bar2) == 3);
|
||
|
static_assert(sizeof(struct t7) == 4);
|
||
|
|
||
|
struct t8
|
||
|
{
|
||
|
int foo : 1;
|
||
|
int : 0;
|
||
|
char bar1 : 1;
|
||
|
char bar2;
|
||
|
};
|
||
|
static_assert(offsetof(struct t8, bar2) == 5);
|
||
|
static_assert(sizeof(struct t8) == 8);
|
||
|
|
||
|
struct t9
|
||
|
{
|
||
|
int foo : 1;
|
||
|
long : 0;
|
||
|
char bar1 : 1;
|
||
|
char bar2;
|
||
|
};
|
||
|
static_assert(offsetof(struct t9, bar2) == 9);
|
||
|
static_assert(sizeof(struct t9) == 16);
|
||
|
|
||
|
struct t10
|
||
|
{
|
||
|
int foo : 1;
|
||
|
long long : 0;
|
||
|
char bar1 : 1;
|
||
|
char bar2;
|
||
|
};
|
||
|
static_assert(offsetof(struct t10, bar2) == 9);
|
||
|
static_assert(sizeof(struct t10) == 16);
|
||
|
|
||
|
struct t11
|
||
|
{
|
||
|
int foo : 1;
|
||
|
long long : 0;
|
||
|
char : 0;
|
||
|
char bar1 : 1;
|
||
|
char bar2;
|
||
|
};
|
||
|
static_assert(offsetof(struct t11, bar2) == 9);
|
||
|
static_assert(sizeof(struct t11) == 16);
|
||
|
|
||
|
struct t12
|
||
|
{
|
||
|
int foo : 1;
|
||
|
char : 0;
|
||
|
long long : 0;
|
||
|
char : 0;
|
||
|
char bar;
|
||
|
};
|
||
|
static_assert(offsetof(struct t12, bar) == 8);
|
||
|
static_assert(sizeof(struct t12) == 16);
|
||
|
|
||
|
struct t13
|
||
|
{
|
||
|
char foo;
|
||
|
long : 0;
|
||
|
char bar;
|
||
|
};
|
||
|
static_assert(offsetof(struct t13, bar) == 8);
|
||
|
static_assert(sizeof(struct t13) == 16);
|
||
|
|
||
|
struct t14
|
||
|
{
|
||
|
char foo1;
|
||
|
int : 0;
|
||
|
char foo2 : 1;
|
||
|
short foo3 : 16;
|
||
|
char : 0;
|
||
|
short foo4 : 16;
|
||
|
char bar1;
|
||
|
int : 0;
|
||
|
char bar2;
|
||
|
};
|
||
|
static_assert(offsetof(struct t14, bar1) == 10);
|
||
|
static_assert(offsetof(struct t14, bar2) == 12);
|
||
|
static_assert(sizeof(struct t14) == 16);
|
||
|
|
||
|
struct t15
|
||
|
{
|
||
|
char foo;
|
||
|
char : 0;
|
||
|
int : 0;
|
||
|
char bar;
|
||
|
long : 0;
|
||
|
char : 0;
|
||
|
};
|
||
|
static_assert(offsetof(struct t15, bar) == 4);
|
||
|
static_assert(sizeof(struct t15) == 8);
|
||
|
|
||
|
struct t16
|
||
|
{
|
||
|
long : 0;
|
||
|
char bar;
|
||
|
};
|
||
|
static_assert(offsetof(struct t16, bar) == 0);
|
||
|
static_assert(sizeof(struct t16) == 8);
|
||
|
|
||
|
struct t17
|
||
|
{
|
||
|
char foo;
|
||
|
long : 0;
|
||
|
long : 0;
|
||
|
char : 0;
|
||
|
char bar;
|
||
|
};
|
||
|
static_assert(offsetof(struct t17, bar) == 8);
|
||
|
static_assert(sizeof(struct t17) == 16);
|
||
|
|
||
|
struct t18
|
||
|
{
|
||
|
long : 0;
|
||
|
long : 0;
|
||
|
char : 0;
|
||
|
};
|
||
|
static_assert(sizeof(struct t18) == 8);
|
||
|
|
||
|
struct t19
|
||
|
{
|
||
|
char foo1;
|
||
|
long foo2 : 1;
|
||
|
char : 0;
|
||
|
long foo3 : 32;
|
||
|
char bar;
|
||
|
};
|
||
|
static_assert(offsetof(struct t19, bar) == 6);
|
||
|
static_assert(sizeof(struct t19) == 8);
|
||
|
|
||
|
struct t20
|
||
|
{
|
||
|
short : 0;
|
||
|
int foo : 1;
|
||
|
long : 0;
|
||
|
char bar;
|
||
|
};
|
||
|
static_assert(offsetof(struct t20, bar) == 8);
|
||
|
static_assert(sizeof(struct t20) == 16);
|
||
|
|
||
|
struct t21
|
||
|
{
|
||
|
short : 0;
|
||
|
int foo1 : 1;
|
||
|
char : 0;
|
||
|
int foo2 : 16;
|
||
|
long : 0;
|
||
|
char bar1;
|
||
|
int bar2;
|
||
|
long bar3;
|
||
|
char foo3 : 8;
|
||
|
char : 0;
|
||
|
long : 0;
|
||
|
int foo4 : 32;
|
||
|
short foo5: 1;
|
||
|
long bar4;
|
||
|
short foo6: 16;
|
||
|
short foo7: 16;
|
||
|
short foo8: 16;
|
||
|
};
|
||
|
static_assert(offsetof(struct t21, bar1) == 8);
|
||
|
static_assert(offsetof(struct t21, bar2) == 12);
|
||
|
static_assert(offsetof(struct t21, bar3) == 16);
|
||
|
static_assert(offsetof(struct t21, bar4) == 40);
|
||
|
static_assert(sizeof(struct t21) == 56);
|
||
|
|
||
|
// The rules also apply to anonymous bitfields with non-zero length.
|
||
|
struct t22
|
||
|
{
|
||
|
char foo;
|
||
|
short :2;
|
||
|
char bar;
|
||
|
};
|
||
|
static_assert(alignof(struct t22) == 2);
|
||
|
static_assert(offsetof(struct t22, bar) == 2);
|
||
|
|
||
|
int main() {
|
||
|
return 0;
|
||
|
}
|
||
|
|