https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111807
--- Comment #8 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:3aaf704bca3e01c72d9fe6de01ae5416dba6b5db commit r14-4677-g3aaf704bca3e01c72d9fe6de01ae5416dba6b5db Author: Richard Biener <rguent...@suse.de> Date: Mon Oct 16 12:54:28 2023 +0200 tree-optimization/111807 - ICE in verify_sra_access_forest The following addresses build_reconstructed_reference failing to build references with a different offset than the models and thus the caller conditional being off. This manifests when attempting to build a ref with offset 160 from the model BIT_FIELD_REF <l_4827[9], 8, 0> onto the same base l_4827 but the models offset being 288. This cannot work for any kind of ref I can think of, not just with BIT_FIELD_REFs. PR tree-optimization/111807 * tree-sra.cc (build_ref_for_model): Only call build_reconstructed_reference when the offsets are the same. * gcc.dg/torture/pr111807.c: New testcase.