Paul Schlie <[EMAIL PROTECTED]> wrote: > x = x ; perfectly fine; as lvaue x clearly designates an object (no trap)
Can you cite the part of the standard that says that? The fact that an expression designates an object does not exclude that object from holding a trap representation. A trap representation, as defined by the standard (6.2.6.1p5), is unrelated to dereferencing an invalid pointer. The word "trap" is also sometimes used to refer to dereferencing an invalid pointer, but that's not relevant here, since the standard uses a different definition. paul