diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-31 11:51:11 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-31 11:51:11 +0200 |
| commit | 972fb59e54c1df4e076e113721be78ff6ce1c391 (patch) | |
| tree | 1d11510d5f74450666c6630879163f3d73af5326 /gcc/ada/styleg.adb | |
| parent | c1c8247201bd938d49716db8edc2767ff2a4d7d5 (diff) | |
| download | gcc-972fb59e54c1df4e076e113721be78ff6ce1c391.zip gcc-972fb59e54c1df4e076e113721be78ff6ce1c391.tar.gz gcc-972fb59e54c1df4e076e113721be78ff6ce1c391.tar.bz2 | |
[multiple changes]
2014-07-31 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Has_Preelaborable_Initialization): Check that
type is tagged before checking whether a user-defined Initialize
procedure is present.
2014-07-31 Gary Dismukes <dismukes@adacore.com>
* a-ngelfu.ads (Sqrt): Augment postcondition.
2014-07-31 Pascal Obry <obry@adacore.com>
* prj-nmsc.adb (Check_Library_Attributes): An aggegate library
directory and ALI directory must be different than all object
and library directories of aggregated projects.
2014-07-31 Vincent Celier <celier@adacore.com>
* prj-pars.adb, prj-conf.ads, prj-conf.adb (Locate_Runtime): Move spec
to package body, as it is not called from outside. Remove argument
Project_Tree, no longer used. When runtime cannot be found,
call Raise_Invalid_Config instead of failing the program.
From-SVN: r213330
Diffstat (limited to 'gcc/ada/styleg.adb')
0 files changed, 0 insertions, 0 deletions