diff options
| author | Yannick Moy <moy@adacore.com> | 2014-07-30 12:41:59 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-30 14:41:59 +0200 |
| commit | 52c1498c862bf1363560f8d487b1af327fd9256b (patch) | |
| tree | 30c33ad2f80441e26c9e0b42e61123d09561cc60 /gcc/ada/gcc-interface/decl.c | |
| parent | e5c4e2bc5bdc3100399604a462c2d94aaee5ba8e (diff) | |
| download | gcc-52c1498c862bf1363560f8d487b1af327fd9256b.zip gcc-52c1498c862bf1363560f8d487b1af327fd9256b.tar.gz gcc-52c1498c862bf1363560f8d487b1af327fd9256b.tar.bz2 | |
einfo.ads (Is_Inlined): Document new use in GNATprove mode.
2014-07-30 Yannick Moy <moy@adacore.com>
* einfo.ads (Is_Inlined): Document new use in GNATprove mode.
* inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Add comments
to explain rationale for inlining or not in GNATprove mode.
(Expand_Inlined_Call): In GNATprove mode, set Is_Inlined flag
to False when inlining is not possible.
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Set Is_Inlined
flag to indicate that subprogram is fully inlined. To be reversed
if inlining problem is found.
* sem_res.adb (Resolve_Call): Set Is_Inlined flag to False when
call in potentially unevaluated context.
From-SVN: r213255
Diffstat (limited to 'gcc/ada/gcc-interface/decl.c')
0 files changed, 0 insertions, 0 deletions