[path] PR 54900: store data race in if-conversion pass

[Richard Henderson]

On 2012-10-17 09:53, Aldy Hernandez wrote:
> +/* Like memory_modified_in_insn_p, but return TRUE if INSN will
> +   *SURELY* modify the memory contents of MEM.  */
> +bool
> +memory_surely_modified_in_insn_p (const_rtx mem, const_rtx insn)

I don't like the word "surely".  Are we certain or not?

It's longer, but perhaps "definitely" or "must_be"?


r~