https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125250
--- Comment #9 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <[email protected]>: https://gcc.gnu.org/g:e88f8d7bfc811f6d152c42ba009255506f5beba1 commit r17-442-ge88f8d7bfc811f6d152c42ba009255506f5beba1 Author: Richard Biener <[email protected]> Date: Mon May 11 10:25:57 2026 +0200 tree-optimization/125250 - LIM speculating not noop load/store The following avoids speculating a load/store pair for modes that cannot transfer bits or, as for the testcase, bitfield loads that are either value changing or invoke UB when out-of-bound (and that we'd rewrite to be defined with explicit truncation). PR tree-optimization/125250 * tree-ssa-loop-im.cc (execute_sm): For modes that cannot transfer bits, _Bool and bitfield accesses force the multi-threaded model. * gcc.dg/torture/pr125250.c: New testcase.
