From ba4dc75f3ba3ac8639727f364faef2c3fdc40239 Mon Sep 17 00:00:00 2001 From: jakub Date: Fri, 4 Jul 2014 08:38:45 +0000 Subject: [PATCH] PR middle-end/61654 * cgraphunit.c (expand_thunk): Call free_dominance_info. * g++.dg/opt/pr61654.C: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212293 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 3 +++ gcc/cgraphunit.c | 1 + gcc/testsuite/ChangeLog | 3 +++ gcc/testsuite/g++.dg/opt/pr61654.C | 27 +++++++++++++++++++++++++++ 4 files changed, 34 insertions(+) create mode 100644 gcc/testsuite/g++.dg/opt/pr61654.C diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 4965219..f37d8f4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,8 @@ 2014-07-04 Jakub Jelinek + PR middle-end/61654 + * cgraphunit.c (expand_thunk): Call free_dominance_info. + PR tree-optimization/61684 * tree-ssa-ifcombine.c (recognize_single_bit_test): Make sure rhs1 of conversion is a SSA_NAME before using SSA_NAME_DEF_STMT on it. diff --git a/gcc/cgraphunit.c b/gcc/cgraphunit.c index f7980ed..b2bafe4 100644 --- a/gcc/cgraphunit.c +++ b/gcc/cgraphunit.c @@ -1693,6 +1693,7 @@ expand_thunk (struct cgraph_node *node, bool output_asm_thunks, bool force_gimpl #ifdef ENABLE_CHECKING verify_flow_info (); #endif + free_dominance_info (CDI_DOMINATORS); /* Since we want to emit the thunk, we explicitly mark its name as referenced. */ diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 5eee717..02e8b93 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2014-07-04 Jakub Jelinek + PR middle-end/61654 + * g++.dg/opt/pr61654.C: New test. + PR tree-optimization/61684 * gcc.c-torture/compile/pr61684.c: New test. diff --git a/gcc/testsuite/g++.dg/opt/pr61654.C b/gcc/testsuite/g++.dg/opt/pr61654.C new file mode 100644 index 0000000..78dc0c1 --- /dev/null +++ b/gcc/testsuite/g++.dg/opt/pr61654.C @@ -0,0 +1,27 @@ +// PR middle-end/61654 +// { dg-do compile } + +class A +{ + virtual int a (int, int = 0) = 0; + int b (const int &); + int c; +}; + +class B : virtual A +{ + int d; + int a (int, int); +}; + +int +A::b (const int &) +{ + return a ('\0'); +} + +int +B::a (int, int) +{ + return 0 ? 0 : d; +} -- 2.7.4