]> git.ipfire.org Git - thirdparty/gcc.git/commit
[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)
committerGiuliano Belinassi <giuliano.belinassi@usp.br>
Mon, 17 Aug 2020 16:19:37 +0000 (13:19 -0300)
commit5272b3d76bc6fb9c30fff4109b861db0c4d26120
tree588bcdb85bd2ff163723873b0559f08d00c3b5dc
parenta48016982a512514898dfd60e846975c67a31d8f
[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