This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r217840 - in /trunk/gcc/ada: ChangeLog a-calend...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Thu, 20 Nov 2014 11:24:52 -0000
- Subject: r217840 - in /trunk/gcc/ada: ChangeLog a-calend...
Author: charlet
Date: Thu Nov 20 11:24:51 2014
New Revision: 217840
URL: https://gcc.gnu.org/viewcvs?rev=217840&root=gcc&view=rev
Log:
2014-11-20 Thomas Quinot <quinot@adacore.com>
* sem_util.adb: Minor reformatting.
2014-11-20 Robert Dewar <dewar@adacore.com>
* sem_prag.adb (Analyze_Pragma, case Linker_Section): Detect
duplicate Linker_Section.
2014-11-20 Ed Schonberg <schonberg@adacore.com>
* exp_ch4.adb: Add guard for build-in-place boolean op.
2014-11-20 Yannick Moy <moy@adacore.com>
* checks.adb (Apply_Scalar_Range_Check): In GNATprove mode,
put a range check when an empty range is used, instead of an
error message.
* sinfo.ads Update comment on GNATprove mode.
2014-11-20 Arnaud Charlet <charlet@adacore.com>
* a-stream.ads, s-osinte-linux.ads, a-reatim.ads, a-calend.ads,
s-crtl.ads, interfac.ads, s-taskin.ads: Replace uses of 2 ** 63 and
2 ** 64 by references to Long_Long_Integer instead, to allow these
units to be analyzed by codepeer or spark when using a target
configuration file with long_long_size set to 32.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/a-calend.ads
trunk/gcc/ada/a-reatim.ads
trunk/gcc/ada/a-stream.ads
trunk/gcc/ada/checks.adb
trunk/gcc/ada/exp_ch4.adb
trunk/gcc/ada/interfac.ads
trunk/gcc/ada/s-crtl.ads
trunk/gcc/ada/s-osinte-linux.ads
trunk/gcc/ada/s-taskin.ads
trunk/gcc/ada/sem_prag.adb
trunk/gcc/ada/sem_util.adb
trunk/gcc/ada/sinfo.ads