diff options
| author | Jan Hubicka <hubicka@ucw.cz> | 2024-07-22 18:08:08 +0200 |
|---|---|---|
| committer | Thomas Koenig <tkoenig@gcc.gnu.org> | 2024-07-28 19:05:45 +0200 |
| commit | 14f605f17b8ee8e8a2dc3b4292420ea5f5d2cf8d (patch) | |
| tree | 0bfe2ef8f7d21f59629d2a6b94f2fd4c159f87d8 /gcc/cp/tree.cc | |
| parent | d9c73e23ed096c8c786f2206df29d8ea3ab54038 (diff) | |
| download | gcc-14f605f17b8ee8e8a2dc3b4292420ea5f5d2cf8d.zip gcc-14f605f17b8ee8e8a2dc3b4292420ea5f5d2cf8d.tar.gz gcc-14f605f17b8ee8e8a2dc3b4292420ea5f5d2cf8d.tar.bz2 | |
Fix modref_eaf_analysis::analyze_ssa_name handling of values dereferenced to function call parameters
modref_eaf_analysis::analyze_ssa_name misinterprets EAF flags. If dereferenced
parameter is passed (to map_iterator in the testcase) it can be returned
indirectly which in turn makes it to escape into the next function call.
PR ipa/115033
gcc/ChangeLog:
* ipa-modref.cc (modref_eaf_analysis::analyze_ssa_name): Fix checking of
EAF flags when analysing values dereferenced as function parameters.
gcc/testsuite/ChangeLog:
* gcc.c-torture/execute/pr115033.c: New test.
Diffstat (limited to 'gcc/cp/tree.cc')
0 files changed, 0 insertions, 0 deletions