[Bug tree-optimization/30911] VRP fails to eliminate range checks in Ada code

[baldrick at free dot fr]

------- 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