/* { dg-do run } */
/* { dg-require-effective-target section_anchors } */
/* { dg-options "-O2 -fsection-anchors -ftree-loop-vectorize" } */

#pragma pack(1)
struct S0 {
  volatile int f0:12;
} static a[] = {{15}}, c[] = {{15}};

struct S0 b[] = {{7}};

int __attribute__ ((noinline, noclone))
ok (int a, int b, int c)
{
  return a == 15 && b == 7 && c == 15 ? 0 : 1;
}

int
main (void)
{
  struct S0 *f[] = { c, b };

  return ok (a[0].f0, b[0].f0, f[0]->f0);
}