summaryrefslogtreecommitdiff
path: root/gotools
diff options
context:
space:
mode:
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2016-04-18 12:27:10 +0000
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2016-04-18 12:27:10 +0000
commitcfc922eda42ad4f534c84530bf564945bdccaac8 (patch)
treeffe4f91e0d909b0d393db9ce84a1203f8c331576 /gotools
parent2609e4d05571f7a6d55a0ab75c0265e92d5c8076 (diff)
downloadgcc-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