diff options
| author | Robert Dewar <dewar@adacore.com> | 2014-07-29 13:02:06 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-29 15:02:06 +0200 |
| commit | 60f908dd027ea9561239e46b55246da68839b18b (patch) | |
| tree | 3d83be6d9e80b289bd87e7433e7c31576768ffb4 /gcc/ada/einfo.adb | |
| parent | 96e90ac1ec8cb9261093e434c88cced5d5675e2b (diff) | |
| download | gcc-60f908dd027ea9561239e46b55246da68839b18b.zip gcc-60f908dd027ea9561239e46b55246da68839b18b.tar.gz gcc-60f908dd027ea9561239e46b55246da68839b18b.tar.bz2 | |
sem_aggr.adb, [...]: General cleanup of static predicate handling.
2014-07-29 Robert Dewar <dewar@adacore.com>
* sem_aggr.adb, exp_ch5.adb, sem_ch5.adb, exp_util.adb, einfo.adb,
einfo.ads, sem_util.adb, sem_attr.adb, sem_case.adb, sem_eval.adb,
sem_eval.ads, sem_ch13.adb: General cleanup of static predicate
handling. Change name of Discrete_Predicate to
Discrete_Static_Predicate, and replace testing of the presence of this
field by testing the flag Has_Static_Expression.
From-SVN: r213161
Diffstat (limited to 'gcc/ada/einfo.adb')
| -rw-r--r-- | gcc/ada/einfo.adb | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb index 8c967d3..ac62412 100644 --- a/gcc/ada/einfo.adb +++ b/gcc/ada/einfo.adb @@ -222,7 +222,7 @@ package body Einfo is -- DT_Offset_To_Top_Func Node25 -- PPC_Wrapper Node25 -- Related_Array_Object Node25 - -- Static_Predicate List25 + -- Static_Discrete_Predicate List25 -- Task_Body_Procedure Node25 -- Dispatch_Table_Wrappers Elist26 @@ -2971,11 +2971,11 @@ package body Einfo is return Node19 (Id); end Spec_Entity; - function Static_Predicate (Id : E) return S is + function Static_Discrete_Predicate (Id : E) return S is begin pragma Assert (Is_Discrete_Type (Id)); return List25 (Id); - end Static_Predicate; + end Static_Discrete_Predicate; function Status_Flag_Or_Transient_Decl (Id : E) return N is begin @@ -5761,11 +5761,11 @@ package body Einfo is Set_Node19 (Id, V); end Set_Spec_Entity; - procedure Set_Static_Predicate (Id : E; V : S) is + procedure Set_Static_Discrete_Predicate (Id : E; V : S) is begin pragma Assert (Is_Discrete_Type (Id) and then Has_Predicates (Id)); Set_List25 (Id, V); - end Set_Static_Predicate; + end Set_Static_Discrete_Predicate; procedure Set_Status_Flag_Or_Transient_Decl (Id : E; V : E) is begin @@ -9404,7 +9404,7 @@ package body Einfo is E_Modular_Integer_Type | E_Modular_Integer_Subtype | E_Signed_Integer_Subtype => - Write_Str ("Static_Predicate"); + Write_Str ("Static_Discrete_Predicate"); when others => Write_Str ("Field25??"); |