This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [path] PR 54900: store data race in if-conversion pass
- From: Richard Henderson <rth at redhat dot com>
- To: Aldy Hernandez <aldyh at redhat dot com>
- Cc: Ian Lance Taylor <iant at google dot com>, gcc-patches <gcc-patches at gcc dot gnu dot org>, Richard Guenther <richard dot guenther at gmail dot com>, Ian Lance Taylor <ian at airs dot com>, Jakub Jelinek <jakub at redhat dot com>, Andrew MacLeod <amacleod at redhat dot com>
- Date: Wed, 17 Oct 2012 11:51:33 +1000
- Subject: Re: [path] PR 54900: store data race in if-conversion pass
- References: <507C015F.2090508@redhat.com> <CAKOQZ8y7kmvw0gbK2yDEzRvs+DZjxGLUUMFRqA7Ab5bXiPhHwg@mail.gmail.com> <507DF364.2010208@redhat.com>
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~