The Ada front-end is still being missed compiled by VRP but VRP is doing
the correct thing as the type is signed and overflow on signed is undefined
(-fwrapv is not turned on by default for Ada).

The following code shows the problem (reduced from csets.ad?):
package body Asets is
   X_80 : constant Character := Character'Val (16#80#);
   Fold_Full_Upper_Half : constant Translate_Table := Translate_Table'(
      X_80 => X_80, others => ' ');
   procedure Initialize is
   begin
     null;
  end Initialize;
end Asets;
package Asets is
   type Translate_Table is array (Character) of Character;
   procedure Initialize;
end Asets;
-------cut-----

I will file a bug later today but I thought I would send this out for a
current warning to people trying to build the Ada compiler.

Thanks,
Andrew Pinski

Reply via email to