This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] C undefined behavior fix
- From: mike stump <mrs at windriver dot com>
- To: dewar at gnat dot com, paulus at samba dot org
- Cc: gcc at gcc dot gnu dot org, linux-kernel at vger dot kernel dot org, trini at kernel dot crashing dot org, velco at fadata dot bg
- Date: Sat, 5 Jan 2002 23:56:23 -0800 (PST)
- Subject: Re: [PATCH] C undefined behavior fix
> 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.