On Fri, Aug 05, 2005 at 10:15:04PM +0200, Florian Weimer wrote: > TYPE_MIN_VALUE (gnu_scalar_type) > = gnat_to_gnu (Type_Low_Bound (gnat_entity)); > TYPE_MAX_VALUE (gnu_scalar_type) > = gnat_to_gnu (Type_High_Bound (gnat_entity)); > > This is wrong (as discussed before) and is likely the cause of PR21573 > (not VRP-related, the expanders for SWITCH_EXPR look at these > attributes, too). I'm not sure if it is safe to delete these > assignment statmeents because TYPE_MIN_VALUE/TYPE_MAX_VALUE are used > quite extensively throught GIGI.
Well, perhaps yes, perhaps no. What I don't know is if it is actively illegal to assign 0 to an enumeration that doesn't contain 0 as a member. It's clear that if it is in fact illegal, that the Ada front end has to use some other type than the enumeration to validate the values going into the enumeration. Which could be construed as the case with 21573 -- we should have used an int32_t equivalent instead of the enumeration. r~
