Ada front-end depends on signed overflow

Andrew Pinski pinskia@physics.uc.edu
Fri Jun 3 07:30:00 GMT 2005


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



More information about the Gcc mailing list