diff options
| author | Robert Dewar <dewar@adacore.com> | 2014-02-19 11:01:01 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-19 12:01:01 +0100 |
| commit | a03670050f7aa17d56e3c2f873612343c883f980 (patch) | |
| tree | 6fceb44c65097d8c935ef1bcef41d5aa54ed7ca6 /gcc/ada/sem_eval.ads | |
| parent | e03f7ccf159e37e61fce037b5c0df59e047fa6b9 (diff) | |
| download | gcc-a03670050f7aa17d56e3c2f873612343c883f980.tar.gz | |
sem_eval.ads, [...] (Subtypes_Statically_Match): Return False if Esize values do not match.
2014-02-19 Robert Dewar <dewar@adacore.com>
* sem_eval.ads, sem_eval.adb (Subtypes_Statically_Match): Return False
if Esize values do not match.
From-SVN: r207889
Diffstat (limited to 'gcc/ada/sem_eval.ads')
| -rw-r--r-- | gcc/ada/sem_eval.ads | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/sem_eval.ads b/gcc/ada/sem_eval.ads index fb1ebfa5369..312fac13cf7 100644 --- a/gcc/ada/sem_eval.ads +++ b/gcc/ada/sem_eval.ads @@ -222,7 +222,9 @@ package Sem_Eval is function Subtypes_Statically_Match (T1, T2 : Entity_Id) return Boolean; -- Determine whether two types T1, T2, which have the same base type, - -- are statically matching subtypes (RM 4.9.1(1-2)). + -- are statically matching subtypes (RM 4.9.1(1-2)). Also includes the + -- extra GNAT rule that object sizes must match (this can be false for + -- types that match in the RM sense because of use of 'Object_Size). function Compile_Time_Known_Value (Op : Node_Id) return Boolean; -- Returns true if Op is an expression not raising Constraint_Error whose |