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

["rguenth at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #22 from rguenth at gcc dot gnu dot org  2007-02-23 15:15 -------
Ok, I get lot's of acats failures with the patch, all of the form

RUN a22006d

raised CONSTRAINT_ERROR : a-textio.adb:1339 explicit raise
FAIL:   a22006d

which is from


   procedure Set_Col
     (File : File_Type;
      To   : Positive_Count)
   is
      ch : int;

   begin
      --  Raise Constraint_Error if out of range value. The reason for this
      --  explicit test is that we don't want junk values around, even if
      --  checks are off in the caller.

      if not To'Valid then
         raise Constraint_Error;
      end if;

(so it seems like we have a rts miscompilation or a rts error somewhere)


-- 


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