https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114940
--- Comment #5 from Arsen Arsenović <arsen at gcc dot gnu.org> --- imo, creating a divergent code path for this case isn't worth it, especially for something that isn't trivial. I'd opt for checking for sized dealloc in version.def.