https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111245
--- Comment #10 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-14 branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:d9faa7c2eb47c7fabf9dafce6d569f52d49c7030 commit r14-11514-gd9faa7c2eb47c7fabf9dafce6d569f52d49c7030 Author: Richard Biener <rguent...@suse.de> Date: Fri Feb 28 11:44:26 2025 +0100 ipa/111245 - bogus modref analysis for store in call that might throw We currently record a kill for *x_4(D) = always_throws (); because we consider the store always executing since the appropriate check for whether the stmt could throw is guarded by !cfun->can_throw_non_call_exceptions. PR ipa/111245 * ipa-modref.cc (modref_access_analysis::analyze_store): Do not guard the check of whether the stmt could throw by cfun->can_throw_non_call_exceptions. * g++.dg/torture/pr111245.C: New testcase. (cherry picked from commit e6037af6d5e5a43c437257580d75bc8b35a6dcfd)
