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.
Ciao, ET.
PS: Hey, we are talking about C, the de luxe assembler! *g*
-
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/