Re: [PATCH] C undefined behavior fix

mike stump (mrs@windriver.com)
Sat, 5 Jan 2002 23:56:23 -0800 (PST)


> 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/