https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122934
--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Eric Botcazou <[email protected]>: https://gcc.gnu.org/g:f5978fc4f173d04dd5c48318cdff107cc4fabc76 commit r16-5874-gf5978fc4f173d04dd5c48318cdff107cc4fabc76 Author: Eric Botcazou <[email protected]> Date: Wed Dec 3 17:26:49 2025 +0100 Fix miscompilation of gnatbind with profiled bootstrap Boolean types may have precision > 1 so using !undefined_p && !varying_p is not sufficient for them. gcc/ PR tree-optimization/122934 * tree-ssa-loop-niter.cc (simplify_using_initial_conditions): Use singleton_p predicate even with boolean ranges.
