This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Storage for uninitialized objects (PR 24626)
- From: Robert Dewar <dewar at adacore dot com>
- To: John David Anglin <dave at hiauly1 dot hia dot nrc dot ca>
- Cc: Steven Bosscher <steven at gcc dot gnu dot org>, gcc at gcc dot gnu dot org, schlie at comcast dot net, ian at airs dot com, jsm28 at gcc dot gnu dot org
- Date: Sun, 15 Jan 2006 14:44:15 -0500
- Subject: Re: Storage for uninitialized objects (PR 24626)
- References: <200601151935.k0FJZ0OI002472@hiauly1.hia.nrc.ca>
John David Anglin wrote:
As far as I know, GCC doesn't support a trap representation for
"int *" types. Thus, an "indeterminate value" is simply an unspecified
value.
You can't reason this way either. The implementation may behave "as if" the
variable contained a trap representation regardless. At least that's my
reading.