> Hmm, but isn't the bug that we feed debug-insn mems to memrefs_conflict_p?

We don't.  The addresses come from regular insns, but cselib is able to 
equivalence one of them with an address that is already in its hashtable 
because of a debug insn (see cselib.c:promote_debug_loc).

> Or that we have non-legitimate address expressions in them?

My understanding is that this is by design.

Eric Botcazou

Reply via email to