Fix PR53908

[Richard Guenther]

On Fri, Jul 13, 2012 at 9:21 AM, Steven Bosscher <stevenb.gcc@gmail.com> wrote:
> On Fri, Jul 13, 2012 at 8:47 AM, Hans-Peter Nilsson
> <hans-peter.nilsson@axis.com> wrote:
>>> From: Richard Sandiford <rsandifo@nildram.co.uk>
>>> Date: Thu, 12 Jul 2012 21:18:54 +0200
>>
>>>       if (CALL_P (insn))
>>>       {
>>>         if (RTL_CONST_OR_PURE_CALL_P (insn))
>>>           /* Pure functions can read from memory.  Const functions can
>>>              read from arguments that the ABI has forced onto the stack.
>>>              Neither sort of read can be volatile.  */
>>>           memrefs_in_across |= MEMREF_NORMAL;
>>>         else
>>>           {
>>>             memrefs_in_across |= MEMREF_VOLATILE;
>>>             mem_sets_in_across |= MEMREF_VOLATILE;
>>>           }
>>>       }
>>>
>>> OK with that change if you agree.
>>
>> (Steven or Bernd, please ACK/NAK, for quick resolution.)
>
> I can't ACK, but I think Richard S.'s fix is correct.

I agree, so, ok for trunk if it passes bootstrap & testing.

Thanks,
Richard.

> Ciao!
> Steven