https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68201
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- As GCC uses the attribute for static analysis it can't go out and read the actual value from pool->block_size so I see no value in providing the size this way (it would also only work if pool_alloc is inlined).