diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-19 12:51:22 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-19 12:51:22 +0100 |
| commit | 0929d66bf81be1b0fca5537d946cd068dd731f99 (patch) | |
| tree | 27e5a6435029e91ddba30a57d86b60a06a5b3912 /gcc/ada/sem_ch4.adb | |
| parent | c63a2ad68bc0704fc2926badc46f3ccd952dbbb9 (diff) | |
| download | gcc-0929d66bf81be1b0fca5537d946cd068dd731f99.zip gcc-0929d66bf81be1b0fca5537d946cd068dd731f99.tar.gz gcc-0929d66bf81be1b0fca5537d946cd068dd731f99.tar.bz2 | |
[multiple changes]
2017-01-19 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.ads, sem_ch4.adb (Try_Object_Operation): Make subprogram
public, for use elsewhere.
* sem_ch6.adb (Analyze_Procedure_Call): In SPARK_Mode and within
an Inlined_body, recognize a call that uses object notation
and has not been rewritten as a regular call because regular
expansion has not taken place.
2017-01-19 Bob Duff <duff@adacore.com>
* checks.adb (Apply_Type_Conversion_Checks): Disable small optimization
in case of generic formal discrete types, because it causes crashes in
the compiler when built with assertions on.
From-SVN: r244620
Diffstat (limited to 'gcc/ada/sem_ch4.adb')
| -rw-r--r-- | gcc/ada/sem_ch4.adb | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb index db41afb..56da406 100644 --- a/gcc/ada/sem_ch4.adb +++ b/gcc/ada/sem_ch4.adb @@ -323,18 +323,6 @@ package body Sem_Ch4 is -- subprogram, and the call F (X) interpreted as F.all (X). In this case -- the call may be overloaded with both interpretations. - function Try_Object_Operation - (N : Node_Id; - CW_Test_Only : Boolean := False) return Boolean; - -- Ada 2005 (AI-252): Support the object.operation notation. If node N - -- is a call in this notation, it is transformed into a normal subprogram - -- call where the prefix is a parameter, and True is returned. If node - -- N is not of this form, it is unchanged, and False is returned. If - -- CW_Test_Only is true then N is an N_Selected_Component node which - -- is part of a call to an entry or procedure of a tagged concurrent - -- type and this routine is invoked to search for class-wide subprograms - -- conflicting with the target entity. - procedure wpo (T : Entity_Id); pragma Warnings (Off, wpo); -- Used for debugging: obtain list of primitive operations even if |