OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR ipa/60600 (ICE in ipa_get_indirect_edge_target_1)

Browse Source 
2014-03-25  Martin Jambor  <mjambor@suse.cz>

	PR ipa/60600
	* ipa-cp.c (ipa_get_indirect_edge_target_1): Redirect type
	inconsistent devirtualizations to __builtin_unreachable.

testsuite/
	* g++.dg/ipa/pr60600.C: New test.

From-SVN: r208818
This commit is contained in:
Martin Jambor 2014-03-25 19:22:41 +01:00 committed by Martin Jambor
parent 1cbba79d07
commit b5165eb022
4 changed files with 57 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2014-03-25 Martin Jambor <mjambor@suse.cz>
PR ipa/60600
* ipa-cp.c (ipa_get_indirect_edge_target_1): Redirect type
inconsistent devirtualizations to __builtin_unreachable.
2014-03-25 Marek Polacek <polacek@redhat.com>
PR c/35449

17
gcc/ipa-cp.c
View File

@ -1639,11 +1639,18 @@ ipa_get_indirect_edge_target_1 (struct cgraph_edge *ie,
return NULL_TREE;
target = gimple_get_virt_method_for_binfo (token, binfo);
}
#ifdef ENABLE_CHECKING
if (target)
gcc_assert (possible_polymorphic_call_target_p
(ie, cgraph_get_node (target)));
#endif
if (target && !possible_polymorphic_call_target_p (ie,
cgraph_get_node (target)))
{
if (dump_file)
fprintf (dump_file,
"Type inconsident devirtualization: %s/%i->%s\n",
ie->caller->name (), ie->caller->order,
IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (target)));
target = builtin_decl_implicit (BUILT_IN_UNREACHABLE);
cgraph_get_create_node (target);
}
return target;
}

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2014-03-25 Martin Jambor <mjambor@suse.cz>
PR ipa/60600
* g++.dg/ipa/pr60600.C: New test.
2014-03-25 John David Anglin <danglin@gcc.gnu.org>
PR testsuite/58013

34
gcc/testsuite/g++.dg/ipa/pr60600.C Normal file
View File

@ -0,0 +1,34 @@
/* { dg-do compile } */
/* { dg-options "-O3 -fdump-ipa-cp" } */
struct data {
data(int);
};
struct top {
virtual int topf();
};
struct intermediate: top {
int topf() /* override */ { return 0; }
};
struct child1: top {
void childf()
{
data d(topf());
}
};
struct child2: intermediate {};
void test(top& t)
{
child1& c = static_cast<child1&>(t);
c.childf();
child2 d;
test(d);
}
/* { dg-final { scan-ipa-dump "Type inconsident devirtualization" "cp" } } */
/* { dg-final { cleanup-ipa-dump "cp" } } */