gcc/testsuite/gcc.target/arm/volatile-bitfields-3.c

/* { dg-do compile } */
/* { dg-require-effective-target arm_eabi } */
/* { dg-options "-O2" } */

typedef struct {
  volatile unsigned long a:8;
  volatile unsigned long b:8;
  volatile unsigned long c:16;
} BitStruct;

BitStruct bits;

unsigned long foo ()
{
  return bits.c;
}

/* { dg-final { scan-assembler "ldr\[\\t \]+\[^\n\]*,\[\\t \]*\\\[\[^\n\]*\\\]" } } */