Messages in this thread | | | From | dewar@gnat ... | Subject | Re: [PATCH] C undefined behavior fix | Date | Wed, 9 Jan 2002 16:54:38 -0500 (EST) |
| |
<<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 :-) - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |