projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8ed508f) | patch
[Ada] Ignore out of range values for System.Priority in CodePeer mode
authorArnaud Charlet <charlet@adacore.com>
Wed, 30 May 2018 08:56:54 +0000 (08:56 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 30 May 2018 08:56:54 +0000 (08:56 +0000)
commit88ad52c90d5aa992fbbcba44f91faccdc02150ef
tree3544e336a5da00b41c23294179f3959cb031291etree
parent8ed508fe7fce89d1798a3cabf227d3e1c1d5cf85commit | diff
[Ada] Ignore out of range values for System.Priority in CodePeer mode

2018-05-30  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

* checks.adb (Apply_Scalar_Range_Check):
* sem_eval.adb (Check_Non_Static_Context, Out_Of_Range): Ignore out of
range values for System.Priority in CodePeer mode since the actual
target compiler may provide a wider range.

From-SVN: r260929
gcc/ada/ChangeLog diff | blob | history
gcc/ada/checks.adb diff | blob | history
gcc/ada/sem_eval.adb diff | blob | history