> 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