[Bug c++/22488] C++ frontend generates RECORD_TYPEs with overlapping FIELD_DECLs

[ebotcazou at gcc dot gnu.org]

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).