https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123300
--- Comment #13 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-15 branch has been updated by Andrew Macleod <[email protected]>: https://gcc.gnu.org/g:57305e18fdf78a656efe1985d5a4e99d438edbd5 commit r15-10667-g57305e18fdf78a656efe1985d5a4e99d438edbd5 Author: Andrew MacLeod <[email protected]> Date: Wed Jan 7 10:55:49 2026 -0500 Early builtin_unreachable removal must examine dependencies. Even if all uses of a name are dominated by the unreachable branch, recomputation of a value in the defintion of a name might be reachable. PR tree-optimization/123300 gcc/ * gimple-range-gori.cc (gori_map::exports_and_deps): New. * gimple-range-gori.h (exports_and_deps): New prototype. (FOR_EACH_GORI_EXPORT_AND_DEP_NAME): New macro. * tree-vrp.cc (remove_unreachable:remove_unreachable): Initialize m_tmp bitmap. (remove_unreachable:~remove_unreachable): Dispose of m_tmp bitmap. (remove_unreachable:fully_replaceable): Move from static function and check reachability of exports and dependencies. gcc/testsuite/ * gcc.dg/pr123300.c: New.
