This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] C undefined behavior fix
- From: dewar at gnat dot com
- To: dewar at gnat dot com, pkoning at equallogic dot com
- Cc: gcc at gcc dot gnu dot org, linux-kernel at vger dot kernel dot org, mrs at windriver dot com
- Date: Wed, 9 Jan 2002 16:54:38 -0500 (EST)
- Subject: Re: [PATCH] C undefined behavior fix
<<Would ordering rules help answer that? If you write two separate
loads you have two separate side effects that are ordered in time,
while for a single big load they occur concurrently. If the construct
where those two loads occur does not allow for side effects to be
interleaved, then the "as if" principle seems to say you cannot
legally merge the loads.
>>
Yes maybe, but it's not air tight :-)