https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116016
--- Comment #53 from Alejandro Colomar <alx at kernel dot org> --- (In reply to qinzhao from comment #52) > (In reply to Alejandro Colomar from comment #51) > > I would make it a compile-time error. Why would we want to allow a non-FAM > > there? (Unless the [[gnu::counted_by()]] attribute makes sense elsewhere.) > The "counted_by" attribute is planned to be extended to pointers too. I would then make it a compile-time error if the attribute is not present in the pointer. Does it make sense?