https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116016
--- Comment #20 from qinzhao at gcc dot gnu.org --- (In reply to Bill Wendling from comment #19) > > Does it have to be a FAM? What is the problem if this is used on, e.g. an > > arbitrary pointer? > > > > IMO once we have support for 'counted_by' on pointers the builtin should > handle it. In that case, a 'void *', or equivalent, seems like the better > option for future expansion. agreed. sounds reasonable.