This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] C undefined behavior fix
- From: dewar at gnat dot com
- To: jbuck at synopsys dot COM, jsm28 at cam dot ac dot uk
- Cc: dewar at gnat dot com, gcc at gcc dot gnu dot org, rth at redhat dot com,torvalds at transmeta dot com, trini at kernel dot crashing dot org
- Date: Sat, 5 Jan 2002 07:42:24 -0500 (EST)
- Subject: Re: [PATCH] C undefined behavior fix
<<According to the minutes of the last WG14 meeting, WG14 have not yet
resolved DR#260. If you disagree with the conclusions we reached in the
UK C Panel about the provenance of pointer values, you could always go to
the next meeting of your National Body and argue that they should take
some other position on that DR at the next WG14 meeting; but it seems
clear to me that being able to take provenance into account is important
for optimisation in the cases given in that DR.
>>
I certainly agree with this construction of DR#260. Linus, I really think
you should read DR#260. If you want to play language lawyer, you have to
do the homework :-)