diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-10-10 14:49:04 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-10-10 14:49:04 +0000 |
| commit | 975af22d5e38e70e14cf8a7696ecb76c5847c442 (patch) | |
| tree | 11a99217237ee63bd01d9d3a2e417bcc54bb787f /gcc/collect-utils.c | |
| parent | 3ad60f63386178ef069d70c27bf8de6fbe08b4c3 (diff) | |
| download | gcc-975af22d5e38e70e14cf8a7696ecb76c5847c442.tar.gz | |
2014-10-10 Robert Dewar <dewar@adacore.com>
* freeze.adb, sem_attr.adb: Minor reformatting.
2014-10-10 Johannes Kanig <kanig@adacore.com>
* a-cfdlli.ads, a-cfhama.ads, a-cfhase.ads, a-cforma.ads,
a-cforse.ads, a-cofove.ads: add "Default_Initial_Condition"
to container type.
2014-10-10 Vincent Celier <celier@adacore.com>
* prj-conf.adb (Do_Autoconf): In Codepeer mode, do not try to get
any configuration switches from the project file.
2014-10-10 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Build_Wrapper): Renamed as Build_Operator_Wrapper.
(Build_Function_Wrapper): New function, to construct a wrapper
function for actuals that are functions with an arbitrary
number of parameters. Used in GNATProve mode to simplify proof
propagation in instantiations.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@216092 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/collect-utils.c')
0 files changed, 0 insertions, 0 deletions