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

[rguenth at gcc dot gnu dot org]

------- Comment #16 from rguenth at gcc dot gnu dot org  2007-02-23 11:37 -------
Created an attachment (id=13096)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13096&action=view)
patch fixing the problem

The attached patch removes all checks (from the first half of the testcase). 
Not
yet bootstrapped or tested.

There is one appearant problem with the way the Ada frontend sets
TYPE_MIN/MAX_VALUE on the integer subtypes -- I expected the min/max values
to be of the type of the subtype, not of the underlying base type.  This
unnecessarily complicates things.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30911