diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-04-18 12:27:10 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-04-18 12:27:10 +0000 |
commit | cfc922eda42ad4f534c84530bf564945bdccaac8 (patch) | |
tree | ffe4f91e0d909b0d393db9ce84a1203f8c331576 /gotools | |
parent | 2609e4d05571f7a6d55a0ab75c0265e92d5c8076 (diff) | |
download | gcc-cfc922eda42ad4f534c84530bf564945bdccaac8.tar.gz |
2016-04-18 Gary Dismukes <dismukes@adacore.com>
* lib-xref-spark_specific.adb, par-ch2.adb, errout.ads,
exp_intr.adb: Minor reformatting and typo corrections.
2016-04-18 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb: Code cleanup.
2016-04-18 Thomas Quinot <quinot@adacore.com>
* sem_ch13.adb: Minor reformatting and error message tweaking
(remove extraneous spaces).
2016-04-18 Johannes Kanig <kanig@adacore.com>
* gnat1drv.adb (Gnat1drv): Force loading of System unit for SPARK.
2016-04-18 Bob Duff <duff@adacore.com>
* s-fileio.adb (Fopen_Mode): If Mode = Out_File, and the file
exists, and it's a fifo, we use "w" as the open string instead of
"r+". This is necessary to make a write to the fifo block until
a reader is ready.
2016-04-18 Hristian Kirtchev <kirtchev@adacore.com>
* sem_attr.adb (Denote_Same_Function): Account
for a special case where a primitive of a tagged type inherits
a class-wide postcondition from a parent type.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@235135 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gotools')
0 files changed, 0 insertions, 0 deletions