This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] C undefined behavior fix
- From: Florian Weimer <fw at deneb dot enyo dot de>
- To: jkl at miacid dot net
- Cc: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>, dewar at gnat dot com, Dautrevaux at microprocess dot com, paulus at samba dot org, Franz dot Sirl-kernel at lauterbach dot com, benh at kernel dot crashing dot org, gcc at gcc dot gnu dot org, jtv at xs4all dot nl, linux-kernel at vger dot kernel dot org, linuxppc-dev at lists dot linuxppc dot org, minyard at acm dot org, rth at redhat dot com, trini at kernel dot crashing dot org, velco at fadata dot bg
- Date: Sat, 05 Jan 2002 21:51:43 +0100
- Subject: Re: [PATCH] C undefined behavior fix
- References: <Pine.BSI.4.10.10201051208250.8542-100000@hevanet.com>
jkl@miacid.net writes:
> Forgive me if I haven't been reading the manual carefully enough. Now can
> we please get a straight answer to the question: Does GCC provide the
> ability to turn an arbitrary address into a pointer, and if so how do you
> do it?
If you want to do more than what is permitted according to the
documentation (quoted in the message by Joseph S. Myers you replied
to), you have to use machine code insertions in order to get
deterministic effects. At least this seems to be the consensus so
far.