projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e59243f) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Wed, 16 Jul 2014 14:01:46 +0000 (16:01 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 16 Jul 2014 14:01:46 +0000 (16:01 +0200)
commit6cade1b0a0c3b50e1c1d60357a948f29de016ed5
treea0f511d53c196978cd381722eee72529fc5dc536tree | snapshot
parente59243faa1bfc9f5a84779ef20c4cb5a5046ffbecommit | diff
[multiple changes]

2014-07-16  Yannick Moy  <moy@adacore.com>

* sem_attr.adb (Analyze_Attribute/cases Pred
and Succ): Always enable range check on fixed-point types if
not suppressed for the type.

2014-07-16  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_util.adb (State_Has_Enabled_Property):
Account for an external property denoted by an others choice.

From-SVN: r212647
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_attr.adb diff | blob | history
gcc/ada/sem_util.adb diff | blob | history
Domain: System / Toolchain;