------- Comment #38 from baldrick at free dot fr 2007-03-01 08:18 ------- Subject: Re: VRP fails to eliminate range checks in Ada code
> ... The problem > is that the value of arg1, a constant, is not in the > range of its own type! ... It seemed clear to me last night why this is a problem, but now I can't see why anymore... Types don't seem very useful for constants (why do they have a type at all?), and if you take the viewpoint that you should just ignore the constant's type, then being out of range is not relevant. So the question becomes: how did this constant get created, and why does its type seem to matter... -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30911