diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-30 14:56:13 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-30 14:56:13 +0200 |
| commit | 36428cc491c6948882ca8de83d7ba5b401666c95 (patch) | |
| tree | d6eb28907b5a7cb7bdfdd571cc89682faacb27c2 /gcc/ada/sem_ch4.adb | |
| parent | 7c02f27b32f60d5dba1ad24df229f4db81c5682a (diff) | |
| download | gcc-36428cc491c6948882ca8de83d7ba5b401666c95.tar.gz | |
[multiple changes]
2014-07-30 Ed Schonberg <schonberg@adacore.com>
* inline.adb (Expand_Inlined_Call): Use a renaming declaration
to capture the value of actuals of a limited type rather than
an object declaration, to prevent spurious errors when analyzing
the inlined body.
2014-07-30 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Analyze_Type_Conversion): Treat an inlined body
as an instance, and inhibit semantic checks on already analyzed
code to prevent spurious errors.
2014-07-30 Arnaud Charlet <charlet@adacore.com>
* a-exctra.ads ("="): New function, to restore compatibility.
2014-07-30 Pascal Obry <obry@adacore.com>
* adaint.c (__gnat_to_os_time): Set isdst to -1 for the mktime
routine to use the OS dst setting.
2014-07-30 Pat Rogers <rogers@adacore.com>
* gnat_ugn.texi: Minor correction to description of -gnatw.K.
2014-07-30 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Wrong_Type): Disable some checks equally within
instances and within inlined bodies, to suppress spurious type
errors on already analyzed code.
* sem_aggr.adb (Check_Expr_OK_In_Limited_Aggregate): Expression
is legal in an inlined body, juts as it is in an instance body.
2014-07-30 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Resolve_Unchecked_Conversion): Within an inlined
body the operand of an unchecked conversion may be a literal, in
which case its type is the target type of the conversion. This
is in contrast to conversions in other contexts, where the
operand cannot be a literal and must be resolvable independent
of the context.
From-SVN: r213260
Diffstat (limited to 'gcc/ada/sem_ch4.adb')
| -rw-r--r-- | gcc/ada/sem_ch4.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb index f7d6aa895b6..b78b06a05e0 100644 --- a/gcc/ada/sem_ch4.adb +++ b/gcc/ada/sem_ch4.adb @@ -4934,9 +4934,9 @@ package body Sem_Ch4 is -- error message. Conversely, constant-folding in the generic may -- transform the argument of a conversion into a string literal, which -- is legal. Therefore the following tests are not performed in an - -- instance. + -- instance. The same applies to an inlined body. - elsif In_Instance then + elsif In_Instance or In_Inlined_Body then return; elsif Nkind (Expr) = N_Null then |