lkml.org 
[lkml]   [2002]   [Jan]   [3]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH] C undefined behavior fix
On Thu, Jan 03, 2002 at 04:46:11PM +0100, Edgar Toernig wrote:
>
> The behaviour is undefined by the C standard. But the mentioned
> pointer arithmetic is defined in the environment where it has been
> used. GCC tries to optimize undefined C-standard behaviour. And
> IMHO that's the point. It may optimize defined behaviour and should
> not touch things undefined by the standard.

Ah, if only things were that easy! The whole reason the rules are as they
are in C is that it is not generally decidable whether or not the code
falls within those rules. Removing the assumptions we're talking about
from the rules would make the ability to optimize code an exception instead
of the rule.


Jeroen

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

\
 
 \ /
  Last update: 2005-03-22 13:15    [W:0.093 / U:0.116 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site