diff options
| author | Jan Hubicka <jh@suse.cz> | 2021-12-20 08:43:13 +0100 |
|---|---|---|
| committer | Jan Hubicka <jh@suse.cz> | 2021-12-20 08:43:13 +0100 |
| commit | 8d1e342b4afbad77cb92f8057cf6d1e996bfb077 (patch) | |
| tree | b2075a2df6b749ddd9ac4687632c20875c631c8f /libcpp | |
| parent | 19dcecd963295b02b96c8cac57933657dbe3234a (diff) | |
| download | gcc-8d1e342b4afbad77cb92f8057cf6d1e996bfb077.zip gcc-8d1e342b4afbad77cb92f8057cf6d1e996bfb077.tar.gz gcc-8d1e342b4afbad77cb92f8057cf6d1e996bfb077.tar.bz2 | |
Fix handling of deferred SSA names in modref dataflow
In the testcase we fail to analyze SSA name because flag do_dataflow is set
and thus triggers early exist in analyze_ssa_name. Fixed by disabling
early exits when handling deferred names.
gcc/ChangeLog:
2021-12-20 Jan Hubicka <hubicka@ucw.cz>
PR ipa/103669
* ipa-modref.c (modref_eaf_analysis::analyze_ssa_name): Add deferred
parameter.
(modref_eaf_analysis::propagate): Use it.
gcc/testsuite/ChangeLog:
2021-12-20 Jan Hubicka <hubicka@ucw.cz>
PR ipa/103669
* g++.dg/torture/pr103669.C: New test.
Diffstat (limited to 'libcpp')
0 files changed, 0 insertions, 0 deletions