diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-11-20 12:24:51 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-11-20 12:24:51 +0100 |
| commit | 39f0fa29d043e4b05c2eb43b2b811303e60dba4f (patch) | |
| tree | 58e42d5d3971c42a195113a9dd5a3ae89f91cbf9 /gcc/ada/sinfo.ads | |
| parent | a18d0b158091b85fbab45b9fbd6617d919a5a766 (diff) | |
| download | gcc-39f0fa29d043e4b05c2eb43b2b811303e60dba4f.zip gcc-39f0fa29d043e4b05c2eb43b2b811303e60dba4f.tar.gz gcc-39f0fa29d043e4b05c2eb43b2b811303e60dba4f.tar.bz2 | |
[multiple changes]
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.
From-SVN: r217840
Diffstat (limited to 'gcc/ada/sinfo.ads')
| -rw-r--r-- | gcc/ada/sinfo.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index 7a3bc6f..f9c7052 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -581,6 +581,12 @@ package Sinfo is -- bounds are generated from an expression: Expand_Subtype_From_Expr -- should be noop. + -- 5. Errors (instead of warnings) are issued on compile-time known + -- constraint errors, except in a few selected cases where it should + -- be allowed to let analysis proceed (e.g. range checks on empty + -- ranges, typically in deactivated code based on a given + -- configuration). + ----------------------- -- Check Flag Fields -- ----------------------- |