This is the mail archive of the
mailing list for the GCC project.
Re: a warning to implement
- From: dewar at gnat dot com (Robert Dewar)
- To: dewar at gnat dot com, gdr at codesourcery dot com
- Cc: gcc at gcc dot gnu dot org, nathan at cs dot bris dot ac dot uk, rsandifo at redhat dot com
- Date: Wed, 6 Feb 2002 15:23:48 -0500 (EST)
- Subject: Re: a warning to implement
<< Certain object representations need not represent a value of the
object type. If the stored value of the object has such a
representation and is read by an lvalue expression that does not
have character type, the behavior is undefined. If such a
representation is produced by a side effect thaty modifies all or
any part of the object by an lvalue expression that does not have
character type, the behavior is undefined. Such a representation is
called a trap represetation.
You seem to be assuming that of necessity a char object can contain only
valid representations. This is definitely not true on all implementations.