middle-end/9725: Invalid dependency determination

[Momchil Velikov]

>>>>> "Jan" == Jan Beulich <JBeulich@novell.com> writes:

    Jan> But why is the structure incompatible?
    Jan> "... an aggregate or union type that includes one of the aforementioned
    Jan> types among its
    Jan> members (including, recursively, a member of a subaggregate or
    Jan> contained union), ..."

which means that you example should be coded as

struct s
{
  unsigned f1:16;
  unsigned f2:16;
};

void
test (unsigned *pf, unsigned x, unsigned y)
{
  union
  {
    unsigned f;
    struct s s;
  } u;

  u.s.f1 = x;
  u.s.f2 = y;
  
  *pf = u.f;
}


~velco