mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-05 19:51:34 +08:00
Code Issues Packages Projects Releases Wiki Activity

re PR ada/22559 (Bug box, Program_Error at sinput.adb:404, derived fixed-point type)

Browse Source 
gcc/ada/
	PR ada/22559
	* sem_ch3.adb (Build_Derived_Numeric_Type): Do not set RM_Size on
	a derived ordinary fixed point type.

	* sem_ch13.adb (Analyze_Attribute_Definition_Clause): Recompute
	RM_Size when a Small clause is found.

    gcc/testsuite/
	PR ada/22559
	* gnat.dg/specs/delta_small.ads: New test.

From-SVN: r130498
This commit is contained in:
Samuel Tardieu 2007-11-28 20:48:10 +00:00 committed by Samuel Tardieu
parent 5a21849883
commit 7bde4677df
5 changed files with 24 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ada/ChangeLog
View File

@ -22,6 +22,13 @@
Signal an error when attribute argument is a fixed-point value of
an unknown type.
PR ada/22559
* sem_ch3.adb (Build_Derived_Numeric_Type): Do not set RM_Size on
a derived ordinary fixed point type.
* sem_ch13.adb (Analyze_Attribute_Definition_Clause): Recompute
RM_Size when a Small clause is found.
2007-11-26 Andreas Krebbel <krebbel1@de.ibm.com>
PR 34081/C++

2
gcc/ada/sem_ch13.adb
View File

@ -29,6 +29,7 @@ with Einfo; use Einfo;
with Errout; use Errout;
with Exp_Tss; use Exp_Tss;
with Exp_Util; use Exp_Util;
with Layout; use Layout;
with Lib; use Lib;
with Lib.Xref; use Lib.Xref;
with Namet; use Namet;
@ -1375,6 +1376,7 @@ package body Sem_Ch13 is
Set_Has_Small_Clause (U_Ent);
Set_Has_Small_Clause (Implicit_Base);
Set_Has_Non_Standard_Rep (Implicit_Base);
Set_Discrete_RM_Size (U_Ent);
end if;
end Small;

5
gcc/ada/sem_ch3.adb
View File

@ -4950,11 +4950,12 @@ package body Sem_Ch3 is
Set_Etype (Implicit_Base, Parent_Base);
Set_Ekind (Implicit_Base, Ekind (Parent_Base));
Set_Size_Info (Implicit_Base, Parent_Base);
Set_RM_Size (Implicit_Base, RM_Size (Parent_Base));
Set_First_Rep_Item (Implicit_Base, First_Rep_Item (Parent_Base));
Set_Parent (Implicit_Base, Parent (Derived_Type));
if Is_Discrete_Or_Fixed_Point_Type (Parent_Base) then
if Is_Discrete_Type (Parent_Base) or else
Is_Decimal_Fixed_Point_Type (Parent_Base)
then
Set_RM_Size (Implicit_Base, RM_Size (Parent_Base));
end if;

3
gcc/testsuite/ChangeLog
View File

@ -9,6 +9,9 @@
PR ada/32792
* gnat.dg/specs/integer_value.ads: New test.
PR ada/22559
* gnat.dg/specs/delta_small.ads: New test.
2007-11-28 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/34140

9
gcc/testsuite/gnat.dg/specs/delta_small.ads Normal file
View File

@ -0,0 +1,9 @@
-- { dg-do compile }
package Delta_Small is
type T is delta 0.1 range -0.8 .. 0.8;
for T'Small use 0.1;
for T'Size use 4;
type T2 is new T range -0.4 .. 0.4;
for T2'Small use 0.0625;
end Delta_Small;