This is the mail archive of the
mailing list for the GCC project.
Re: a warning to implement
- From: Gabriel Dos Reis <gdr at codesourcery dot com>
- To: dewar at gnat dot com (Robert Dewar)
- Cc: gdr at codesourcery dot com, gcc at gcc dot gnu dot org, nathan at cs dot bris dot ac dot uk, rsandifo at redhat dot com
- Date: 06 Feb 2002 21:32:04 +0100
- Subject: Re: a warning to implement
- Organization: CodeSourcery, LLC
- References: <20020206202348.4D6D7F28BD@nile.gnat.com>
email@example.com (Robert Dewar) writes:
| << 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.
I assume nothing. Those are the words of the standard.
Put in another words, there is no trap representation for characters.