diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-18 12:02:58 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-18 12:02:58 +0200 |
commit | fd22e260b5d48a245411c09858fa42b1614a89c7 (patch) | |
tree | 81ad184a60bc98c7641724338100bd5ead5de616 /gcc/ada/sem_ch12.ads | |
parent | 0d66b5969fec023f9aa6c297ba8550f5621cb2ea (diff) | |
download | gcc-fd22e260b5d48a245411c09858fa42b1614a89c7.zip gcc-fd22e260b5d48a245411c09858fa42b1614a89c7.tar.gz gcc-fd22e260b5d48a245411c09858fa42b1614a89c7.tar.bz2 |
[multiple changes]
2016-04-18 Yannick Moy <moy@adacore.com>
* sem_res.adb (Resolve_Call): Prevent inlining of
calls inside expression functions. Factor previous code issuing
errors to call Cannot_Inline instead, which does appropriate
processing of message for GNATprove.
2016-04-18 Arnaud Charlet <charlet@adacore.com>
* einfo.ads, sem_ch3.adb, sem_ch8.adb, osint-l.adb, rtsfind.adb,
osint-b.adb: Cleanups.
2016-04-18 Yannick Moy <moy@adacore.com>
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Only create
body to inline in GNATprove mode when SPARK_Mode On applies to
subprogram body.
* sem_prag.adb, sem_prag.ads (Get_SPARK_Mode_Type): Make function
public.
2016-04-18 Eric Botcazou <ebotcazou@adacore.com>
* layout.adb: Fix minor typo in comment.
* inline.adb: Fix minor pasto.
* sem_ch12.ads: Fix minor typos in comments.
From-SVN: r235111
Diffstat (limited to 'gcc/ada/sem_ch12.ads')
-rw-r--r-- | gcc/ada/sem_ch12.ads | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/ada/sem_ch12.ads b/gcc/ada/sem_ch12.ads index c54d735..faf8917 100644 --- a/gcc/ada/sem_ch12.ads +++ b/gcc/ada/sem_ch12.ads @@ -100,7 +100,7 @@ package Sem_Ch12 is Body_Optional : Boolean := False); -- Called after semantic analysis, to complete the instantiation of -- package instances. The flag Inlined_Body is set if the body is - -- being instantiated on the fly for inlined purposes. + -- being instantiated on the fly for inlining purposes. -- -- The flag Body_Optional indicates that the call is for an instance -- that precedes the current instance in the same declarative part. @@ -112,10 +112,10 @@ package Sem_Ch12 is -- appears in the context of some other unit P that contains an instance -- of G, we compile the body of I2, but not that of I1. However, when we -- compile U as the main unit, we compile both bodies. This will lead to - -- lead to link-time errors if the compilation of I1 generates public - -- symbols, because those in I2 will receive different names in both - -- cases. This forces us to analyze the body of I1 even when U is not the - -- main unit. We don't want this additional mechanism to generate an error + -- link-time errors if the compilation of I1 generates public symbols, + -- because those in I2 will receive different names in both cases. + -- This forces us to analyze the body of I1 even when U is not the main + -- unit. We don't want this additional mechanism to generate an error -- when the body of the generic for I1 is not present, and this is the -- reason for the presence of the flag Body_Optional, which is exchanged -- between the current procedure and Load_Parent_Of_Generic. |