r217840 - in /trunk/gcc/ada: ChangeLog a-calend...

[charlet@gcc.gnu.org]

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