projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 257baf5) | patch
[Ada] Fix for possibly null ranges in 'Update and delta_aggregate
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 2 Jun 2020 22:17:21 +0000 (00:17 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 15 Jul 2020 13:42:49 +0000 (09:42 -0400)
commit7fe05755eb49f2fd34ce0fe725978c7fadef8ee3
treee119dec8033765498a87ffc9a5bd6860a77aa3a0tree
parent257baf5ab9693cded2273f32293fdc925aea35c0commit | diff
[Ada] Fix for possibly null ranges in 'Update and delta_aggregate

gcc/ada/

* exp_spark.adb (Expand_SPARK_Delta_Or_Update): Apply scalar
range checks against the base type of an index type, not against
the index type itself.
gcc/ada/exp_spark.adb diff | blob | history