https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94815
--- Comment #3 from Martin Sebor <msebor at gcc dot gnu.org> --- I should add: it's helpful to make use of attribute alloc_size on allocation functions like myalloc to let GCC determine the size of the allocated objects. The size can then be used as an upper bound on the lengths of strings stored there. The -Wrestrict warning for sprintf doesn't yet make use of it but other warnings already do and I expect to extend it to sprintf as well.