https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120744
--- Comment #4 from Joseph S. Myers <jsm28 at gcc dot gnu.org> --- Such a warning is justified independent of any further changes to the standard in this area (I'm dubious of making further changes to that mess), simply because of the existing undefined behavior in C23, and general lack of portability, with such use of realloc.