diff options
| author | Robert Dewar <dewar@adacore.com> | 2008-05-26 11:39:55 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-05-26 11:39:55 +0200 |
| commit | 24b6676840a8e470c23ea4016f8f029f1c1979f1 (patch) | |
| tree | f07014a59f62ec9c59bfd82ce868e2e3bb3224cd /gcc | |
| parent | 9570dc5b2f447261e12aeeb77d7e3a664526e7ed (diff) | |
| download | gcc-24b6676840a8e470c23ea4016f8f029f1c1979f1.zip gcc-24b6676840a8e470c23ea4016f8f029f1c1979f1.tar.gz gcc-24b6676840a8e470c23ea4016f8f029f1c1979f1.tar.bz2 | |
sem_cat.adb: Minor reformatting
2008-05-26 Robert Dewar <dewar@adacore.com>
* sem_cat.adb: Minor reformatting
From-SVN: r135898
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_cat.adb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/sem_cat.adb b/gcc/ada/sem_cat.adb index cc96974..fcb0177 100644 --- a/gcc/ada/sem_cat.adb +++ b/gcc/ada/sem_cat.adb @@ -1516,6 +1516,7 @@ package body Sem_Cat is Profile := Parameter_Specifications (Specification (N)); else pragma Assert (K = N_Object_Declaration); + -- The above assertion is dubious, the visible declarations of an -- RCI unit never contain an object declaration, this should be an -- ACCESS-to-object declaration??? @@ -1739,9 +1740,13 @@ package body Sem_Cat is end if; end Is_Valid_Remote_Object_Type; + -- Local variables + Direct_Designated_Type : Entity_Id; Desig_Type : Entity_Id; + -- Start of processing for Validate_Remote_Access_Object_Type_Declaration + begin -- We are called from Analyze_Type_Declaration, and the Nkind of the -- given node is N_Access_To_Object_Definition. |