diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-05-26 09:39:55 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-05-26 09:39:55 +0000 |
| commit | 72c18a7340cf2a6ca3b1e012b5d8749230211f25 (patch) | |
| tree | f07014a59f62ec9c59bfd82ce868e2e3bb3224cd /gcc/ada/sem_cat.adb | |
| parent | e7d949b16a43407eccd9affda1aa957d04460235 (diff) | |
| download | gcc-72c18a7340cf2a6ca3b1e012b5d8749230211f25.tar.gz | |
2008-05-26 Robert Dewar <dewar@adacore.com>
* sem_cat.adb: Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@135898 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_cat.adb')
| -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 cc96974425a..fcb0177ec2f 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. |