https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77259
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Author: jakub Date: Wed Aug 17 13:56:30 2016 New Revision: 239537 URL: https://gcc.gnu.org/viewcvs?rev=239537&root=gcc&view=rev Log: PR middle-end/77259 * tree-ssa-pre.c (eliminate_dom_walker::before_dom_children): If turning a call into __builtin_unreachable-like noreturn call, adjust gimple_call_set_fntype. * tree-cfgcleanup.c (fixup_noreturn_call): Remove lhs also if gimple_call_fntype has void return type. * g++.dg/ipa/devirt-52.C: New test. Added: trunk/gcc/testsuite/g++.dg/ipa/devirt-52.C Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-cfgcleanup.c trunk/gcc/tree-ssa-pre.c
