struct inner {
  int field;
};


struct outer {
  const struct inner inner;
};


int main()
{
  struct outer outer = { { 0 } };
  return outer.inner.field;
}

Add a test case showing that CIL forgets to remove the "const" qualifier on structures within structures. When it subsequently converts initializations of such structures into assignments, the resulting C code appears to be assigning into a const field. That produces warnings or errors from the C compiler.
Add a test case showing that CIL forgets to remove the "const"
qualifier on structures within structures.  When it subsequently
converts initializations of such structures into assignments, the
resulting C code appears to be assigning into a const field.  That
produces warnings or errors from the C compiler.
