https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112095
--- Comment #2 from Shivam Gupta <shivam98.tkg at gmail dot com> --- Delayed due to other priorities, but just now sent the patch on the mailing list - https://gcc.gnu.org/pipermail/gcc-patches/2026-May/716234.html. Also alive proofs: https://alive2.llvm.org/ce/z/8EdZlP https://alive2.llvm.org/ce/z/zCutfv
