diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-06-12 19:06:51 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-27 04:05:15 -0400 |
| commit | df81923f6d805ebf390e116b1902d0c8ec93c477 (patch) | |
| tree | bd477a840930956acc0eee79b8deff8ca323ec1c /gcc/ada/sinfo.adb | |
| parent | 1e29b5465e4d8dc30cea2ff2677294fbcecd0f21 (diff) | |
| download | gcc-df81923f6d805ebf390e116b1902d0c8ec93c477.zip gcc-df81923f6d805ebf390e116b1902d0c8ec93c477.tar.gz gcc-df81923f6d805ebf390e116b1902d0c8ec93c477.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/sinfo.adb')
0 files changed, 0 insertions, 0 deletions