https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111245
--- Comment #11 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-13 branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:fb17a8b24cbba558ae2108de2aada1ed5031162c commit r13-9507-gfb17a8b24cbba558ae2108de2aada1ed5031162c 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)
