diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-26 12:39:16 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-26 12:39:16 +0200 |
| commit | a7b3792787e6c527360c4c12a3bd01821ff30e0d (patch) | |
| tree | 57cb5655903b6037e2a2cf93de028a1484b1dd70 /gcc/ada/einfo.adb | |
| parent | 8349613899e2e1cf996052e2dba79e0551bfe880 (diff) | |
| download | gcc-a7b3792787e6c527360c4c12a3bd01821ff30e0d.zip gcc-a7b3792787e6c527360c4c12a3bd01821ff30e0d.tar.gz gcc-a7b3792787e6c527360c4c12a3bd01821ff30e0d.tar.bz2 | |
[multiple changes]
2015-05-26 Bob Duff <duff@adacore.com>
* einfo.adb, einfo.ads, sprint.adb, lib-xref.ads: Minor cleanup: Remove
obsolete Entity_Kinds E_String_Type and E_String_Subtype. Update
redundant assertions.
2015-05-26 Gary Dismukes <dismukes@adacore.com>
* sem_util.adb, sem_util.ads, sem_ch13.adb: Minor typo fixes.
From-SVN: r223680
Diffstat (limited to 'gcc/ada/einfo.adb')
| -rw-r--r-- | gcc/ada/einfo.adb | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb index dd7e232..bf25bfb 100644 --- a/gcc/ada/einfo.adb +++ b/gcc/ada/einfo.adb @@ -874,7 +874,7 @@ package body Einfo is function Component_Type (Id : E) return E is begin - pragma Assert (Is_Array_Type (Id) or else Is_String_Type (Id)); + pragma Assert (Is_Array_Type (Id)); return Node20 (Implementation_Base_Type (Id)); end Component_Type; @@ -1323,7 +1323,7 @@ package body Einfo is function First_Index (Id : E) return N is begin - pragma Assert (Is_Array_Type (Id) or else Is_String_Type (Id)); + pragma Assert (Is_Array_Type (Id)); return Node17 (Id); end First_Index; @@ -4204,7 +4204,7 @@ package body Einfo is procedure Set_First_Index (Id : E; V : N) is begin - pragma Assert (Is_Array_Type (Id) or else Is_String_Type (Id)); + pragma Assert (Is_Array_Type (Id)); Set_Node17 (Id, V); end Set_First_Index; @@ -7368,7 +7368,6 @@ package body Einfo is E_Ordinary_Fixed_Point_Subtype | E_Decimal_Fixed_Point_Subtype | E_Array_Subtype | - E_String_Subtype | E_Record_Subtype | E_Private_Subtype | E_Record_Subtype_With_Private | |