diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-27 15:05:41 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-27 15:05:41 +0200 |
| commit | 680d5f6190bf5c90e600f47ee8c9e604d80b2f7b (patch) | |
| tree | ced0897ff6a0f85f50870e91078f0df69a7eedf0 /gcc/ada/sem_util.ads | |
| parent | 14f3895c40cd3f074ca17823c30a6cbf665836b5 (diff) | |
| download | gcc-680d5f6190bf5c90e600f47ee8c9e604d80b2f7b.zip gcc-680d5f6190bf5c90e600f47ee8c9e604d80b2f7b.tar.gz gcc-680d5f6190bf5c90e600f47ee8c9e604d80b2f7b.tar.bz2 | |
[multiple changes]
2016-04-27 Ed Schonberg <schonberg@adacore.com>
* sem_util.ads, sem_util.adb (Is_Null_Record_Type): New predicate
to determine whether a record type is a null record.
* sem_ch3.adb (Analyze_Object_Declaration): If the type is a
null record and there is no expression in the declaration,
no predicate check applies to the object.
2016-04-27 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch7.adb (Analyze_Package_Body_Helper): The body of an
instantiated package should not cause freezing of previous contracts.
2016-04-27 Ed Schonberg <schonberg@adacore.com>
* sem_dim.adb (Analyze_Dimension): Handle subtype declarations
that do not come from source.
(Analyze_Dimension_Subtype_Declaration): Allow confirming
dimensions on subtype entity, either inherited from base type
or provided by aspect specification.
2016-04-27 Ed Schonberg <schonberg@adacore.com>
* s-gearop.ads (Matrix_Vector_Solution, Matrix_Matrix_Solution):
Add scalar formal object Zero, to allow detection and report
when the matrix is singular.
* s-gearop.adb (Matrix_Vector_Solution, Matrix_Matrix_Solution):
Raise Constraint_Error if the Forward_Eliminate pass has
determined that determinant is Zero.o
* s-ngrear.adb (Solve): Add actual for Zero in corresponding
instantiations.
* s-ngcoar.adb (Solve): Ditto.
From-SVN: r235499
Diffstat (limited to 'gcc/ada/sem_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index 0845bf7..fb049ef 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -1481,6 +1481,10 @@ package Sem_Util is -- assertion expression of pragma Default_Initial_Condition and if it does, -- the encapsulated expression is nontrivial. + function Is_Null_Record_Type (T : Entity_Id) return Boolean; + -- Determine whether T is declared with a null record definition or a + -- null component list. + function Is_Object_Reference (N : Node_Id) return Boolean; -- Determines if the tree referenced by N represents an object. Both -- variable and constant objects return True (compare Is_Variable). |