diff options
| author | Yannick Moy <moy@adacore.com> | 2014-07-29 14:55:24 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-29 16:55:24 +0200 |
| commit | 2d180af122bda9206c06441fee99f9adf873bdde (patch) | |
| tree | 28bb3481554fc9b101482e1edc13c60506976e79 /libstdc++-v3/python | |
| parent | 5ae243127908fa14634e086d2e55b8a996f95a2c (diff) | |
| download | gcc-2d180af122bda9206c06441fee99f9adf873bdde.zip gcc-2d180af122bda9206c06441fee99f9adf873bdde.tar.gz gcc-2d180af122bda9206c06441fee99f9adf873bdde.tar.bz2 | |
2014-07-29 Yannick Moy <moy@adacore.com>
* debug.adb Enable GNATprove inlining under debug flag -gnatdQ for now.
* inline.ads, inline.adb (Can_Be_Inlined_In_GNATprove_Mode): New
function to decide when a subprogram can be inlined in GNATprove mode.
(Check_And_Build_Body_To_Inline): Include GNATprove_Mode as a
condition for possible inlining.
* sem_ch10.adb (Analyze_Compilation_Unit): Remove special case
for Inline_Always in GNATprove mode.
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Build inlined
body for subprograms in GNATprove mode, under debug flag -gnatdQ.
* sem_prag.adb Minor change in comments.
* sem_res.adb (Resolve_Call): Only perform GNATprove inlining
inside subprograms marked as SPARK_Mode On.
* sinfo.ads: Minor typo fix.
From-SVN: r213205
Diffstat (limited to 'libstdc++-v3/python')
0 files changed, 0 insertions, 0 deletions