diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-11-20 15:47:19 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-11-20 15:47:19 +0100 |
| commit | ddce04b8b9370d128bc890e27de8888c84250c5b (patch) | |
| tree | 3bfe5b5fea7c8283a4c5cd256056b9a8f8a19f92 /gcc/ada/gcc-interface/utils.c | |
| parent | b953f511687e03a50fa231119fa55ff9c8c0f279 (diff) | |
| download | gcc-ddce04b8b9370d128bc890e27de8888c84250c5b.zip gcc-ddce04b8b9370d128bc890e27de8888c84250c5b.tar.gz gcc-ddce04b8b9370d128bc890e27de8888c84250c5b.tar.bz2 | |
[multiple changes]
2014-11-20 Robert Dewar <dewar@adacore.com>
* sem_prag.adb (Analyze_Pragma, case Elaborate): Forbid pragma
Elaborate in SPARK mode.
2014-11-20 Bob Duff <duff@adacore.com>
* s-taskin.adb, s-tassta.adb (Initialize_ATCB): If Domain
is null, then initialize T.Common.Domain to that of the
activating task (not the parent task!), as required by RM-D.16.1.
T.Common.Domain should never be null; so Assert. Remove similar
code from Create_Task in s-tassta.adb.
* s-mudido-affinity.adb: Remove checks for Domain = null,
because it can't be null.
* s-taskin.ads, s-taspri-dummy.ads, s-taspri-mingw.ads,
s-taspri-posix.ads, s-taspri-posix-noaltstack.ads,
s-taspri-solaris.ads, s-taspri-vxworks.ads: Mark limited types as
explicitly limited for clarity.
2014-11-20 Ed Schonberg <schonberg@adacore.com>
* exp_aggr.adb (Init_Hidden_Discriminants): Code clean up.
From-SVN: r217863
Diffstat (limited to 'gcc/ada/gcc-interface/utils.c')
0 files changed, 0 insertions, 0 deletions