https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112840
--- Comment #3 from Matheus Afonso Martins Moreira ---
(In reply to uecker from comment #2)
> 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
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
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112840
--- Comment #1 from Andrew Pinski ---
This seems more like something for analyzier rather than a generic warning due
to it requires keeping track of the path where the access is located.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112840
Andrew Pinski changed:
What|Removed |Added
Keywords||diagnostic
Severity|normal
