aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/contracts.adb
diff options
context:
space:
mode:
authorGary Dismukes <dismukes@adacore.com>2021-03-19 19:28:38 -0400
committerPierre-Marie de Rodat <derodat@adacore.com>2021-06-18 04:36:51 -0400
commit33a3b5f3a5034c3b41bd34fdf145da9a20743a28 (patch)
tree359ad3def0f68e8b63b4aa8001ec9185128c765c /gcc/ada/contracts.adb
parent9324e07dbd14cf1da1627676b5f4aeb6ba606e4a (diff)
downloadgcc-33a3b5f3a5034c3b41bd34fdf145da9a20743a28.zip
gcc-33a3b5f3a5034c3b41bd34fdf145da9a20743a28.tar.gz
gcc-33a3b5f3a5034c3b41bd34fdf145da9a20743a28.tar.bz2
[Ada] Missing check for assigning too-large array to fixed-lower-bound object
gcc/ada/ * sem_ch3.adb (Constrain_Index): Set the High_Bound of a fixed-lower-bound subtype's range to T (the subtype of the FLB index being constrained) rather than Base_Type (T).
Diffstat (limited to 'gcc/ada/contracts.adb')
0 files changed, 0 insertions, 0 deletions