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