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: dewar at adacore dot com
- Cc: gcc at gcc dot gnu dot org
- Date: Fri, 12 Aug 05 12:22:42 EDT
- Subject: Re: PR 23046. Folding predicates involving TYPE_MAX_VALUE/TYPE_MIN_VALUE (Ada RFC)
which, contrary to your previous email, is definitely not an erroneous
situation. Precision is very important here!
Yes, and I'm sorry for the confusion. However, for the purposes of this
discussion, there's no difference between erroneous and bounded error:
the issue is whether it's right to say that the only "valid" values of
the subtype are what's given by its range and that's the case whether
an invalid value would be a bounded error or erroneous.