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~