https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125250
--- Comment #16 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-16 branch has been updated by Richard Biener <[email protected]>: https://gcc.gnu.org/g:4fce81c33bd58520fa5e48f069b35950ea0a98c0 commit r16-9037-g4fce81c33bd58520fa5e48f069b35950ea0a98c0 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. (cherry picked from commit e88f8d7bfc811f6d152c42ba009255506f5beba1)
