Re: Fix ipa-devirt ICE

2014-04-03 Thread Marc Glisse
On Thu, 3 Apr 2014, Jan Hubicka wrote: + /* Use OTR_TOKEN = INT_MAX as a marker of probably type inconsistent + /* Use OTR_TOKEN = INT_MAX as a marker of probably type inconsistent + OTR_TOKEN == INT_MAX is used to mark calls that are provably Did you mean "

Fix ipa-devirt ICE

2014-04-02 Thread Jan Hubicka
Hi, this patch fixes ICE on type inconsistent code. The ICE happens because of gcc_unreachable I forgot in code during development. I added way to mark calls as inconsistent that is useful to redirect them to UNREACHABLE. Bootstrapped/regtested x86_64-linux, comitted. Honza * testsuite

Fix ipa-devirt ICE on virtual inheritance

2014-01-09 Thread Jan Hubicka
Hi, this patch fixes IPA-devirt testcase that gave me bad sleep for months. The problem turned out to be combination of three issues (that greatly confused me). This patch fixes first two. Here representation of BINFOs of multiple inheritnace actually differs from my mental modem. For diamond sha