[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Thu, 13 Oct 2016 13:00:54 +0000 (15:00 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 13 Oct 2016 13:00:54 +0000 (15:00 +0200)
commitec2255295c35008f5f39c9a79d5f342416ce6e86
treecf8e171b11f36bb989dabab2b48bd9d820d3fa97
parent62c1b965b52837687f406f1923069e3ba584b77c
[multiple changes]

2016-10-13  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch6.adb (Analyze_Expression_Function):
Remove the aspects of the original expression function has been
rewritten into a subprogram declaration or a body. Reinsert the
aspects once they have been analyzed.

2016-10-13  Tristan Gingold  <gingold@adacore.com>

* exp_ch9.adb (Expand_N_Asynchronous_Select): Return immediately
on restricted profile.

2016-10-13  Javier Miranda  <miranda@adacore.com>

* sem_prag.adb
(Process_Compile_Time_Warning_Or_Error): Register the pragma
for its validation after the backend has been called only if its
expression has some occurrence of attributes 'size or 'alignment
* table.ads (Release_Threshold): New formal.
(Release): Adding documentation of its new functionality.
* table.adb (Release): Extend its functionality with a
Release_Threshold.
* nlists.adb (Next_Node table): Set its Release_Threshold.
* atree.adb (Orig_Nodes table): Set its Release_Threshold.
* atree.ads (Nodes table): Set its Release_Threshold.
(Flags table): Set its Release_Threshold.
* alloc.ads (Nodes_Release_Threshold): New constant declaration.
(Orig_Nodes_Release_Threshold): New constant declaration.
* debug.adb (switch d.9): Left free.
* gnat1drv.adb (Post_Compilation_Validation_Checks): Enable
validation of pragmas Compile_Time_Error and Compile_Time_Warning.

From-SVN: r241117
12 files changed:
gcc/ada/ChangeLog
gcc/ada/alloc.ads
gcc/ada/atree.adb
gcc/ada/atree.ads
gcc/ada/debug.adb
gcc/ada/exp_ch9.adb
gcc/ada/gnat1drv.adb
gcc/ada/nlists.adb
gcc/ada/sem_ch6.adb
gcc/ada/sem_prag.adb
gcc/ada/table.adb
gcc/ada/table.ads