> This restricts BIT_FIELD_REF bound verification to non-aggegate
> typed bases - otherwise we have to look for trailing arrays and
> such (see the testcase), and Ada may even have more interesting
> cases.
Very likely not, they are equivalent in the end. I have installed the
attached testcase,
This restricts BIT_FIELD_REF bound verification to non-aggegate
typed bases - otherwise we have to look for trailing arrays and
such (see the testcase), and Ada may even have more interesting
cases.
Bootstrap / regtest running on x86_64-unknown-linux-gnu.
Richard.
2013-11-29 Richard Biener
