Re: [PATCH] Don't forwprop into clobbers in some cases (PR tree-optimization/56854)

2013-04-09 Thread Richard Biener
On Mon, 8 Apr 2013, Jakub Jelinek wrote: > Hi! > > lhs ={v} {CLOBBER}; > stmts right now allow only VAR_DECL or MEM_REF lhs, but the forwprop code > below on the attached testcase attempts to propagate an ARRAY_REF (of > MEM_REF) into it. Fixed by not propagating in that case, allowing arbitrary

[PATCH] Don't forwprop into clobbers in some cases (PR tree-optimization/56854)

2013-04-08 Thread Jakub Jelinek
Hi! lhs ={v} {CLOBBER}; stmts right now allow only VAR_DECL or MEM_REF lhs, but the forwprop code below on the attached testcase attempts to propagate an ARRAY_REF (of MEM_REF) into it. Fixed by not propagating in that case, allowing arbitrary memory lhs is IMHO unnecessary and such lhs's wouldn'