[multiple changes]
authorPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 9 Nov 2017 13:09:17 +0000 (13:09 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 9 Nov 2017 13:09:17 +0000 (13:09 +0000)
commit65e5747ef72a7e1180727e6bf03fff9ad2dd097e
treebcbbc4c0bc36e6d55147e0e94896a83f1d2ccccb
parentd7a9512ea9131eed5202e670577741f768626244
[multiple changes]

2017-11-09  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Analyze_Generic_Package_Declaration): Handle properly
the pragma Compile_Time_Error when it appears in a generic package
declaration and uses an expanded name to denote the current unit.

2017-11-09  Jerome Lambourg  <lambourg@adacore.com>

* libgnarl/s-taprop__qnx.adb: Fix incorrect casing for pthread_self.
* tracebak.c: Add support for tracebacks in QNX.

2017-11-09  Eric Botcazou  <ebotcazou@adacore.com>

* exp_aggr.adb (Aggr_Size_OK): Bump base limit from 50000 to 500000.

2017-11-09  Yannick Moy  <moy@adacore.com>

* erroutc.adb, set_targ.adb: Remove pragma Annotate for CodePeer
justification.

2017-11-09  Joel Brobecker  <brobecker@adacore.com>

* doc/gnat_ugn/platform_specific_information.rst: Document packages
needed on GNU/Linux by GNAT.
* gnat_ugn.texi: Regenerate.

2017-11-09  Hristian Kirtchev  <kirtchev@adacore.com>

* contracts.adb (Analyze_Contracts): Remove the three parameter
version. This routine now only analyzes contracts and does not perform
any freezing actions.
(Analyze_Previous_Contracts): Removed.
(Freeze_Previous_Contracts): New routine.
* contracts.ads (Analyze_Previous_Contracts): Removed.
(Freeze_Previous_Contracts): New routine.
* sem_ch3.adb (Analyze_Declarations): Analyze the contract of an
enclosing package spec regardless of whether the list denotes the
visible or private declarations.  Fix the removal of partial state
refinements when the context is a package spec.
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Freeze previous
contracts.
* sem_ch7.adb (Analyze_Package_Body_Helper): Freeze previous contracts.
* sem_ch9.adb (Analyze_Entry_Body): Freeze previous contracts.
(Analyze_Protected_Body): Freeze previous contracts.
(Analyze_Task_Body): Freeze previous contracts.
* sem_prag.adb: Comment reformatting.

2017-11-09  Bob Duff  <duff@adacore.com>

* libgnarl/g-thread.ads, libgnarl/g-thread.adb: (Make_Independent):
Export this so users can use it without importing
System.Tasking.Utilities.
* libgnarl/s-tassta.adb (Vulnerable_Complete_Task): Relax assertion
that fails when Make_Independent is called on a user task.
* libgnarl/s-taskin.ads (Master_Of_Task): Avoid unusual
capitalization style ((style) bad casing of "Master_of_Task").

From-SVN: r254580
31 files changed:
gcc/ada/ChangeLog
gcc/ada/contracts.adb
gcc/ada/contracts.ads
gcc/ada/doc/gnat_ugn/platform_specific_information.rst
gcc/ada/erroutc.adb
gcc/ada/exp_aggr.adb
gcc/ada/exp_ch3.adb
gcc/ada/exp_disp.adb
gcc/ada/exp_util.adb
gcc/ada/gnat_ugn.texi
gcc/ada/libgnarl/g-thread.adb
gcc/ada/libgnarl/g-thread.ads
gcc/ada/libgnarl/s-taprop__qnx.adb
gcc/ada/libgnarl/s-tasini.adb
gcc/ada/libgnarl/s-taskin.ads
gcc/ada/libgnarl/s-tasren.adb
gcc/ada/libgnarl/s-tassta.adb
gcc/ada/libgnarl/s-tassta.ads
gcc/ada/libgnarl/s-tasuti.adb
gcc/ada/libgnarl/s-tasuti.ads
gcc/ada/libgnarl/s-tporft.adb
gcc/ada/libgnat/g-altive.ads
gcc/ada/libgnat/s-spsufi.adb
gcc/ada/sem_ch12.adb
gcc/ada/sem_ch3.adb
gcc/ada/sem_ch6.adb
gcc/ada/sem_ch7.adb
gcc/ada/sem_ch9.adb
gcc/ada/sem_prag.adb
gcc/ada/set_targ.adb
gcc/ada/tracebak.c