This is the mail archive of the gcc-patches@gcc.gnu.org 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 06/21/10 15:09, Michael Matz wrote:

implies a read from vobj, also
   return vobj = x;
implies a read from vobj.

Also, doesn't that contradict the sequence-point rules? We'd have a read and write of vobj without an intervening sequence point (and the read was not used to determine the to-be-written value).

nathan
--
Nathan Sidwell    ::   http://www.codesourcery.com   ::         CodeSourcery

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