diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-04-18 10:02:58 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-04-18 10:02:58 +0000 |
| commit | a8eb95812fbc3e64aca5d10c7e77e4eff4a5bc38 (patch) | |
| tree | 81ad184a60bc98c7641724338100bd5ead5de616 /gcc/ada/osint-l.adb | |
| parent | 9c1b4b969c6753065fb4b9f0765d219e0c8e0eef (diff) | |
| download | gcc-a8eb95812fbc3e64aca5d10c7e77e4eff4a5bc38.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@235111 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/osint-l.adb')
| -rw-r--r-- | gcc/ada/osint-l.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/osint-l.adb b/gcc/ada/osint-l.adb index 9cc8f4c9b6d..eb7e3c379c1 100644 --- a/gcc/ada/osint-l.adb +++ b/gcc/ada/osint-l.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2001-2007, Free Software Foundation, Inc. -- +-- Copyright (C) 2001-2015, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -29,7 +29,7 @@ package body Osint.L is -- More_Lib_Files -- -------------------- - function More_Lib_Files return Boolean renames More_Files; + function More_Lib_Files return Boolean renames More_Files; ------------------------ -- Next_Main_Lib_File -- |