[PATCH] Handle COND_EXPR/VEC_COND_EXPR in walk_stmt_load_store_addr_ops and ssa verification

2011-10-13 Thread Jakub Jelinek
Hi! Andrew mentioned on IRC he found walk_stmt_load_store_addr_ops doesn't handle COND_EXPR weirdo first argument well, the following patch is an attempt to handle that. I've noticed similar spot in verify_ssa, though in that case I'm not sure about whether the change is so desirable, as it doesn

Re: [PATCH] Handle COND_EXPR/VEC_COND_EXPR in walk_stmt_load_store_addr_ops and ssa verification

2011-10-14 Thread Richard Guenther
On Thu, 13 Oct 2011, Jakub Jelinek wrote: > Hi! > > Andrew mentioned on IRC he found walk_stmt_load_store_addr_ops > doesn't handle COND_EXPR weirdo first argument well, the following > patch is an attempt to handle that. > > I've noticed similar spot in verify_ssa, though in that case I'm not >

Re: [PATCH] Handle COND_EXPR/VEC_COND_EXPR in walk_stmt_load_store_addr_ops and ssa verification

2011-10-14 Thread Michael Matz
Hi, On Fri, 14 Oct 2011, Richard Guenther wrote: > But I'm not sure. I think we should delete this check from > verify_ssa and instead have a corresponding check in > verify_stmts (which already properly walks trees) that > for an SSA name we encounter we do have a properly linked use > (see ver