diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-07-30 12:41:59 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-07-30 12:41:59 +0000 |
| commit | 88e572e7cad4fd7b4da0946b5ae876aff924bdeb (patch) | |
| tree | 30c33ad2f80441e26c9e0b42e61123d09561cc60 /gcc/ada/s-traent.ads | |
| parent | 9916a361f2838e5873020686d7d6b9f3cfcc6b4e (diff) | |
| download | gcc-88e572e7cad4fd7b4da0946b5ae876aff924bdeb.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213255 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/s-traent.ads')
0 files changed, 0 insertions, 0 deletions