projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e29b54) | patch
[Ada] Add range check for GNATprove on 'Pos to Long_Integer conversion
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 12 Jun 2020 17:06:51 +0000 (19:06 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 27 Jul 2020 08:05:15 +0000 (04:05 -0400)
commitdf81923f6d805ebf390e116b1902d0c8ec93c477
treebd477a840930956acc0eee79b8deff8ca323ec1ctree
parent1e29b5465e4d8dc30cea2ff2677294fbcecd0f21commit | diff
[Ada] Add range check for GNATprove on 'Pos to Long_Integer conversion

gcc/ada/

* exp_spark.adb (Expand_SPARK_N_Attribute_Reference) Extend
existing workaround to 'Pos.
gcc/ada/exp_spark.adb diff | blob | history