This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: PR 23046. Folding predicates involving TYPE_MAX_VALUE/TYPE_MIN_VALUE (Ada RFC)
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: fw at deneb dot enyo dot de
- Cc: gcc at gcc dot gnu dot org
- Date: Fri, 12 Aug 05 12:01:05 EDT
- Subject: Re: PR 23046. Folding predicates involving TYPE_MAX_VALUE/TYPE_MIN_VALUE (Ada RFC)
> Well sure, reading an uninitialized value is erroneous except for the use
> of 'Valid.
No, it's not, as Ada is not C.
What's "not"? My statement is based on the Ada RM.
And please note the presence of pragma Normalize_Scalars.
That doesn't affect validity or erroneousness.