[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

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

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