This is the mail archive of the mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [gimple] assignments to volatile

On 07/09/10 06:14, Mike Stump wrote:
On Jul 5, 2010, at 2:02 AM, Nathan Sidwell wrote:
On 07/01/10 02:02, Mike Stump wrote:
On Jun 27, 2010, at 11:28 PM, Nathan Sidwell wrote:
On 06/25/10 17:41, Mike Stump wrote:
On Jun 24, 2010, at 11:35 PM, Nathan Sidwell wrote:
The current G++ behaviour is not to re-read the assigned-to value.

Here, g++ in fact does re-read the assigned to value.

Yes I would expect this

Above you say that it doesn't re-read, then you agree with me that it does re-read... :-)

As I said, the two examples are different. Your modified example inserts a sequence point (but you've snipped my sentence explaining that).

Anyway, we're on the same page now with respect to this part of the subthread. I suppose that if we defined re-read to be the process by which the value when used is re-fetched from memory instead of a cached value of the rhs then with that definition gcc always (barring stupid bugs under discussion) re-reads and never doesn't (or at least, if one agreed with me that the result is the value of the lhs). For those that go with, the value is the converted value of the rhs, then we'd say that gcc never re-reads.

No, we are not.


Nathan Sidwell    ::   ::         CodeSourcery

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]