https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95379
--- Comment #7 from Tom Tromey <tromey at gcc dot gnu.org> --- (In reply to Asher Gordon from comment #6) > (In reply to Tom Tromey from comment #5) > > Since this warning is intended to work like sparse, introducing > > a divergence here would seem to make the feature less useful, > > in fact subverting the point of having it. > > How does diverging from Sparse make the feature less useful? If this is the > case, perhaps Sparse's behavior should be changed as well. The feature was added specifically to mimic what sparse does. If sparse changes, I think changing gcc would be appropriate.