[Bug c/116016] enhancement: add __builtin_set_counted_by(P->FAM, COUNT) or equivalent

[uecker at gcc dot gnu.org]

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

uecker at gcc dot gnu.org changed:

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

--- Comment #41 from uecker at gcc dot gnu.org ---

I also do not yet understand why this feature is needed. The count should be
set anyway.   Is the reason that in existing kernel code the array is
initialized before the count is set, and adding it to "alloc" will then
initialize it earlier, so that the code does not have to be modified?