Re: [PATCH] Optionally trap on impossible devirtualization

2014-04-28 Thread Jan Hubicka
> On Mon, Apr 28, 2014 at 11:10:41AM +0200, Jakub Jelinek wrote: > > On Mon, Apr 28, 2014 at 11:05:06AM +0200, Richard Biener wrote: > > > On Fri, Apr 25, 2014 at 5:35 PM, Martin Jambor wrote: > > > > Hi, > > > > > > > > the patch below might be useful for testcase preparation and debugging > > >

Re: [PATCH] Optionally trap on impossible devirtualization

2014-04-28 Thread Martin Jambor
On Mon, Apr 28, 2014 at 11:10:41AM +0200, Jakub Jelinek wrote: > On Mon, Apr 28, 2014 at 11:05:06AM +0200, Richard Biener wrote: > > On Fri, Apr 25, 2014 at 5:35 PM, Martin Jambor wrote: > > > Hi, > > > > > > the patch below might be useful for testcase preparation and debugging > > > compiler bug

Re: [PATCH] Optionally trap on impossible devirtualization

2014-04-28 Thread Jakub Jelinek
On Mon, Apr 28, 2014 at 11:05:06AM +0200, Richard Biener wrote: > On Fri, Apr 25, 2014 at 5:35 PM, Martin Jambor wrote: > > Hi, > > > > the patch below might be useful for testcase preparation and debugging > > compiler bugs such as PR 60965. When > > -ftrap-on-impossible-devirtualization is supp

Re: [PATCH] Optionally trap on impossible devirtualization

2014-04-28 Thread Richard Biener
On Fri, Apr 25, 2014 at 5:35 PM, Martin Jambor wrote: > Hi, > > the patch below might be useful for testcase preparation and debugging > compiler bugs such as PR 60965. When > -ftrap-on-impossible-devirtualization is supplied on the command line, > it makes the devirtualization produce __builtin_

[PATCH] Optionally trap on impossible devirtualization

2014-04-25 Thread Martin Jambor
Hi, the patch below might be useful for testcase preparation and debugging compiler bugs such as PR 60965. When -ftrap-on-impossible-devirtualization is supplied on the command line, it makes the devirtualization produce __builtin_trap instead of __builtin_unreachable when it comes to the conclus