http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22488
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ebotcazou at gcc dot
| |gnu.org
--- Comment #58 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2013-04-02
14:37:43 UTC ---
> The C++ frontend issue makes it impossible to implement a GENERIC verifier
> for RECORD_TYPEs (verify FIELD_DECLs are sorted after offset and not
> overlapping).
To be fair, I think that the Ada front-end still has the same issue. We fixed
the biggest source (constrained subtypes of record types with variant part) a
few releases ago, but there is still one problematic case (record type with
variant part and partial representation clause).
