text: /* { dg-options { -nostartfiles below100.o -Tbelow100.ld -O2 } } */
  /* { dg-final { scan-assembler "b\[np\] B100A,#0," } } */
  /* { dg-final { scan-assembler "b\[np\] B100B,#0," } } */
  
  typedef struct
  {
    unsigned short b0:1;
    unsigned short b1:1;
    unsigned short b2:1;
    unsigned short b3:1;
    unsigned short b4:1;
    unsigned short b5:1;
    unsigned short b6:1;
    unsigned short b7:1;
    unsigned short b8:1;
    unsigned short b9:1;
    unsigned short b10:1;
    unsigned short b11:1;
    unsigned short b12:1;
    unsigned short b13:1;
    unsigned short b14:1;
    unsigned short b15:1;
  } BitField;
  
  char acDummy[0xf0] __attribute__ ((__BELOW100__));
  BitField B100A __attribute__ ((__BELOW100__));
  unsigned short *pA = (unsigned short *) &B100A;
  BitField B100B __attribute__ ((__BELOW100__));
  unsigned short *pB = (unsigned short *) &B100B;
  
  char *
  Do (void)
  {
    if (!B100A.b0)
      {
        if (!B100B.b0)
  	return "Fail";
        else
  	return "Success";
      }
    else
      return "Fail";
  }
  
  int
  main (void)
  {
    *pA = 0x1234;
    *pB = 0xedcb;
    return Do ()[0] == 'F';
  }
  