https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111245
--- Comment #8 from GCC 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:e6037af6d5e5a43c437257580d75bc8b35a6dcfd commit r15-7753-ge6037af6d5e5a43c437257580d75bc8b35a6dcfd 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.
