Re: [PATCH] Improve stmt_kills_ref_p_1 (PR c++/34949)

2013-04-02 Thread Jakub Jelinek
On Tue, Apr 02, 2013 at 01:52:16PM +0200, Richard Biener wrote: > in all relevant cases operand zero of the MEM_REFs are SSA names > and thus can be compared for equality using == (exception are > integer constant pointers where the type could be theoretically > different). ... Here is what I've c

Re: [PATCH] Improve stmt_kills_ref_p_1 (PR c++/34949)

2013-04-02 Thread Richard Biener
On Tue, 2 Apr 2013, Jakub Jelinek wrote: > Hi! > > The patch I've just posted wasn't enough, because stmt_kills_ref_p_1 > only did something if base == ref->base, but in the case of the dtors > base and ref->base are often MEM_REFs, which aren't equal, but they > just operand_equal_p. And, for M

[PATCH] Improve stmt_kills_ref_p_1 (PR c++/34949)

2013-04-02 Thread Jakub Jelinek
Hi! The patch I've just posted wasn't enough, because stmt_kills_ref_p_1 only did something if base == ref->base, but in the case of the dtors base and ref->base are often MEM_REFs, which aren't equal, but they just operand_equal_p. And, for MEM_REFs, we don't even need to require that the two ME