diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-10-13 14:54:42 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-10-13 14:54:42 +0200 |
| commit | 5dc203d228f3bafc063278e4b6ef7954300b3908 (patch) | |
| tree | fa92f8d930db55b708a519f95013bf6c71ed1f8c /gcc/ada/sem_ch4.adb | |
| parent | 3396fcc095e2ee8f247af414aeb448c15bf88f28 (diff) | |
| download | gcc-5dc203d228f3bafc063278e4b6ef7954300b3908.zip gcc-5dc203d228f3bafc063278e4b6ef7954300b3908.tar.gz gcc-5dc203d228f3bafc063278e4b6ef7954300b3908.tar.bz2 | |
[multiple changes]
2016-10-13 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch10.adb (Entity_Needs_Body): A generic
subprogram renaming needs a body if the renamed unit is declared
outside the current compilation unit.
2016-10-13 Hristian Kirtchev <kirtchev@adacore.com>
* sinfo.ads, sem_ch12.adb, sem.adb, expander.adb, sem_res.ads,
sem_ch4.adb, sem_ch8.adb, s-memory.adb: Minor reformatting.
2016-10-13 Vincent Celier <celier@adacore.com>
* gnatcmd.adb: Delete all temporary files when invoked as gnat
list -V -P ...
2016-10-13 Ed Falis <falis@adacore.com>
* impunit.adb: add i-vxinco.ads.
* s-interr-vxworks.adb: add hook for user interrupt connection routine.
From-SVN: r241112
Diffstat (limited to 'gcc/ada/sem_ch4.adb')
| -rw-r--r-- | gcc/ada/sem_ch4.adb | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb index 888d6e9..9060fb1 100644 --- a/gcc/ada/sem_ch4.adb +++ b/gcc/ada/sem_ch4.adb @@ -231,18 +231,17 @@ package body Sem_Ch4 is R : Node_Id; Op_Id : Entity_Id; T1 : Entity_Id); - -- For equality and comparison operators, the result is always boolean, - -- and the legality of the operation is determined from the visibility - -- of the operand types. If one of the operands has a universal interpre- - -- tation, the legality check uses some compatible non-universal - -- interpretation of the other operand. N can be an operator node, or - -- a function call whose name is an operator designator. Any_Access, which - -- is the initial type of the literal NULL, is a universal type for the - -- purpose of this routine. + -- For equality and comparison operators, the result is always boolean, and + -- the legality of the operation is determined from the visibility of the + -- operand types. If one of the operands has a universal interpretation, + -- the legality check uses some compatible non-universal interpretation of + -- the other operand. N can be an operator node, or a function call whose + -- name is an operator designator. Any_Access, which is the initial type of + -- the literal NULL, is a universal type for the purpose of this routine. function Find_Primitive_Operation (N : Node_Id) return Boolean; - -- Find candidate interpretations for the name Obj.Proc when it appears - -- in a subprogram renaming declaration. + -- Find candidate interpretations for the name Obj.Proc when it appears in + -- a subprogram renaming declaration. procedure Find_Unary_Types (R : Node_Id; |