This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Ada front-end depends on signed overflow
- From: Andrew Pinski <pinskia at physics dot uc dot edu>
- To: GCC List <gcc at gcc dot gnu dot org>, bosch at gnat dot com
- Date: Fri, 3 Jun 2005 03:30:31 -0400
- Subject: Ada front-end depends on signed overflow
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