Re: IPA: Devirtualization versus placement new

2014-04-26 Thread Andrew Haley
On 04/25/2014 07:48 PM, Jakub Jelinek wrote: > On Fri, Apr 25, 2014 at 08:23:22PM +0200, Jan Hubicka wrote: >>> On 04/25/2014 03:14 PM, Volker Simonis wrote: Could you therefore please re-categorize this as devirt bug. >>> >>> It is an IPA bug. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6096

Re: IPA: Devirtualization versus placement new

2014-04-25 Thread Jan Hubicka
> On Fri, Apr 25, 2014 at 08:23:22PM +0200, Jan Hubicka wrote: > > > On 04/25/2014 03:14 PM, Volker Simonis wrote: > > > > Could you therefore please re-categorize this as devirt bug. > > > > > > It is an IPA bug. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60965 > > > > Now when I have interest

Re: IPA: Devirtualization versus placement new

2014-04-25 Thread Jakub Jelinek
On Fri, Apr 25, 2014 at 08:23:22PM +0200, Jan Hubicka wrote: > > On 04/25/2014 03:14 PM, Volker Simonis wrote: > > > Could you therefore please re-categorize this as devirt bug. > > > > It is an IPA bug. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60965 > > Now when I have interest from ubsan di

Re: IPA: Devirtualization versus placement new

2014-04-25 Thread Jan Hubicka
> On 04/25/2014 03:14 PM, Volker Simonis wrote: > > Could you therefore please re-categorize this as devirt bug. > > It is an IPA bug. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60965 Now when I have interest from ubsan direction, I wanted to ask. Would it make sense to turn those unreachables

Re: IPA: Devirtualization versus placement new

2014-04-25 Thread Jan Hubicka
> Summary: Devirtualization uses type information to determine if a > virtual method is reachable from a call site. If type information > indicates that it is not, devirt marks the site as unreachable. I > think this is wrong, and it breaks some programs. At least, it should > not do this if the

Re: IPA: Devirtualization versus placement new

2014-04-25 Thread Andrew Haley
On 04/25/2014 03:14 PM, Volker Simonis wrote: > Could you therefore please re-categorize this as devirt bug. It is an IPA bug. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60965 Andrew.

Re: IPA: Devirtualization versus placement new

2014-04-25 Thread Volker Simonis
On Fri, Apr 25, 2014 at 2:05 PM, Jonathan Wakely wrote: >On 25 April 2014 13:01, Richard Biener wrote: >> On Fri, Apr 25, 2014 at 1:18 PM, Jonathan Wakely >> wrote: >>> On 25 April 2014 11:22, Andrew Haley wrote: Summary: Devirtualization uses type information to determine if a virtual

Re: IPA: Devirtualization versus placement new

2014-04-25 Thread Andrew Haley
On 04/25/2014 01:01 PM, Richard Biener wrote: > I agree, -fstrict-aliasing has nothing to do with this. Sounds simply like > a genuine bug (please open a bugzilla). http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60965 Andrew.

Re: IPA: Devirtualization versus placement new

2014-04-25 Thread Jonathan Wakely
On 25 April 2014 13:01, Richard Biener wrote: > On Fri, Apr 25, 2014 at 1:18 PM, Jonathan Wakely > wrote: >> On 25 April 2014 11:22, Andrew Haley wrote: >>> Summary: Devirtualization uses type information to determine if a >>> virtual method is reachable from a call site. If type information >>>

Re: IPA: Devirtualization versus placement new

2014-04-25 Thread Richard Biener
On Fri, Apr 25, 2014 at 1:18 PM, Jonathan Wakely wrote: > On 25 April 2014 11:22, Andrew Haley wrote: >> Summary: Devirtualization uses type information to determine if a >> virtual method is reachable from a call site. If type information >> indicates that it is not, devirt marks the site as unr

Re: IPA: Devirtualization versus placement new

2014-04-25 Thread Martin Jambor
Hi, On Fri, Apr 25, 2014 at 11:22:22AM +0100, Andrew Haley wrote: > Summary: Devirtualization uses type information to determine if a > virtual method is reachable from a call site. If type information > indicates that it is not, devirt marks the site as unreachable. I > think this is wrong, an

Re: IPA: Devirtualization versus placement new

2014-04-25 Thread Jonathan Wakely
On 25 April 2014 11:22, Andrew Haley wrote: > Summary: Devirtualization uses type information to determine if a > virtual method is reachable from a call site. If type information > indicates that it is not, devirt marks the site as unreachable. I > think this is wrong, and it breaks some program

IPA: Devirtualization versus placement new

2014-04-25 Thread Andrew Haley
Summary: Devirtualization uses type information to determine if a virtual method is reachable from a call site. If type information indicates that it is not, devirt marks the site as unreachable. I think this is wrong, and it breaks some programs. At least, it should not do this if the user spec