Re: [PATCH] C undefined behavior fix

From: mike stump (mrs@windriver.com)
Date: Sun Jan 06 2002 - 02:56:23 EST


> From: Paul Mackerras <paulus@samba.org>
> Date: Sun, 6 Jan 2002 16:32:05 +1100 (EST)

> * I need a way to tell the compiler not to make any assumptions about
> what objects that such a pointer might or might not point to, so
> that the effect of dereferencing the pointer is simply to access the
> memory at the address I gave, and is not considered "undefined"
> regardless of how I might have constructed the address.

> GCC already does the first and third, but there doesn't seem to be a
> clean and reliable way to do the second.

I gave such a snippet of code in my previous posting. Please show me
when it doesn't work. I am unaware.
-
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/



This archive was generated by hypermail 2b29 : Mon Jan 07 2002 - 21:00:30 EST