diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2019-12-10 22:04:57 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2019-12-10 22:04:57 +0100 |
| commit | 27f418b8ec6d0a95c10844e468d2d579ea16d826 (patch) | |
| tree | de562f81b0d027b6f91efc28e1da1363385a1798 /gcc | |
| parent | 6b24e342cb30abb5c13e3092929837545a5bd49e (diff) | |
| download | gcc-27f418b8ec6d0a95c10844e468d2d579ea16d826.zip gcc-27f418b8ec6d0a95c10844e468d2d579ea16d826.tar.gz gcc-27f418b8ec6d0a95c10844e468d2d579ea16d826.tar.bz2 | |
re PR ipa/92883 (ICE in compare_values_warnv)
PR ipa/92883
* ipa-cp.c (propagate_vr_across_jump_function): Pass jvr rather
than *jfunc->m_vr to intersect. Formatting fix.
* gcc.dg/ipa/pr92883.c: New test.
From-SVN: r279194
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ipa-cp.c | 12 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/ipa/pr92883.c | 14 |
4 files changed, 26 insertions, 7 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 4504e3c..71609c9 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,9 @@ 2019-12-10 Jakub Jelinek <jakub@redhat.com> + PR ipa/92883 + * ipa-cp.c (propagate_vr_across_jump_function): Pass jvr rather + than *jfunc->m_vr to intersect. Formatting fix. + PR middle-end/92825 * cfgexpand.c (add_stack_protection_conflicts): Change return type from void to bool, return true if at least one stack_vars[i].decl diff --git a/gcc/ipa-cp.c b/gcc/ipa-cp.c index 14064ae..1a80ccb 100644 --- a/gcc/ipa-cp.c +++ b/gcc/ipa-cp.c @@ -2369,12 +2369,10 @@ propagate_vr_across_jump_function (cgraph_edge *cs, ipa_jump_func *jfunc, value_range vr; if (TREE_CODE_CLASS (operation) == tcc_unary) - { - ipa_vr_operation_and_type_effects (&vr, - &src_lats->m_value_range.m_vr, - operation, param_type, - operand_type); - } + ipa_vr_operation_and_type_effects (&vr, + &src_lats->m_value_range.m_vr, + operation, param_type, + operand_type); /* A crude way to prevent unbounded number of value range updates in SCC components. We should allow limited number of updates within SCC, too. */ @@ -2400,7 +2398,7 @@ propagate_vr_across_jump_function (cgraph_edge *cs, ipa_jump_func *jfunc, NOP_EXPR, param_type, jfunc->m_vr->type ())) - vr.intersect (*jfunc->m_vr); + vr.intersect (jvr); } return dest_lat->meet_with (&vr); } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 1d520d6..4f4a2a5 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2019-12-10 Jakub Jelinek <jakub@redhat.com> + PR ipa/92883 + * gcc.dg/ipa/pr92883.c: New test. + PR middle-end/92825 * gcc.target/i386/pr92825.c: New test. diff --git a/gcc/testsuite/gcc.dg/ipa/pr92883.c b/gcc/testsuite/gcc.dg/ipa/pr92883.c new file mode 100644 index 0000000..a7c5dc6 --- /dev/null +++ b/gcc/testsuite/gcc.dg/ipa/pr92883.c @@ -0,0 +1,14 @@ +/* PR ipa/92883 */ +/* { dg-do compile } */ +/* { dg-options "-O2" } */ + +int a, b, c, d; +unsigned e; +void baz (void *, int); +void grault (int, unsigned long); +int foo (unsigned g) { return a / g; } +void bar (void *g) { if (b) baz (g, 5); } +static void quux (int, unsigned long); +static void qux (unsigned long g) { if (g) { d = foo (-1); quux (e, (d & 2) + g); } } +static void quux (int g, unsigned long m) { (void) g; grault (c, m); bar (""); } +void corge () { qux (e); } |