[Bug c/112840] feature request: warn on incorrect tagged union value access

[uecker at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112840

uecker at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |uecker at gcc dot gnu.org

--- Comment #2 from uecker at gcc dot gnu.org ---
I would go for a more generic feature where one can specify some invariant /
condition that needs be true when a member of a struct / union is accessed.



 struct S {
        enum T t;
        union U {
            int i       [[gnu::guard(.t == I)]];
            float f     [[gnu::guard(.t == f)]];
        } u;
    };