https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108398
--- Comment #2 from Siddhesh Poyarekar <siddhesh at gcc dot gnu.org> --- Yeah, I've been ping-ponging about the validity too, which is why I filed a bug to get some consensus position. I suppose if we don't treat it as a bug, should we try and support it in cases we can by attempting some heuristics, like we'd like to do for invalidated realloc input pointers? https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105217
