diff options
| author | Richard Biener <rguenther@suse.de> | 2025-02-28 11:44:26 +0100 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2025-02-28 13:37:54 +0100 |
| commit | e6037af6d5e5a43c437257580d75bc8b35a6dcfd (patch) | |
| tree | bd28690d87ddd3ba7a93fbcc567575885843db23 /libcpp/directives.cc | |
| parent | 26e4783c707a96ebb42c6ec4537578e635974573 (diff) | |
| download | gcc-e6037af6d5e5a43c437257580d75bc8b35a6dcfd.zip gcc-e6037af6d5e5a43c437257580d75bc8b35a6dcfd.tar.gz gcc-e6037af6d5e5a43c437257580d75bc8b35a6dcfd.tar.bz2 | |
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.
Diffstat (limited to 'libcpp/directives.cc')
0 files changed, 0 insertions, 0 deletions