diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-12-02 04:15:36 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-04-28 05:37:54 -0400 |
| commit | ce32ccfc25a1b12ff9f42b1d9b6150ea128a26ec (patch) | |
| tree | e4f517ec1acc382b979227ce2e6056a5dae1a4a9 /gcc/tree-vect-generic.c | |
| parent | 4c118453c7c6db1e24145401abf70d286133de3f (diff) | |
| download | gcc-ce32ccfc25a1b12ff9f42b1d9b6150ea128a26ec.zip gcc-ce32ccfc25a1b12ff9f42b1d9b6150ea128a26ec.tar.gz gcc-ce32ccfc25a1b12ff9f42b1d9b6150ea128a26ec.tar.bz2 | |
[Ada] Bad handling of 'Valid_Scalars and arrays
gcc/ada/
* exp_attr.adb (Build_Array_VS_Func, Build_Record_VS_Func,
Expand_N_Attribute_Reference): Use Get_Fullest_View instead of
Validated_View.
(Build_Record_VS_Func): Adjust to keep using Validated_View.
(Expand_N_Attribute_Reference) [Valid]: Use
Small_Integer_Type_For to allow for more compile time
evaluations.
* sem_util.adb (Cannot_Raise_Constraint_Error): Add more precise
support for N_Indexed_Component and fix support for
N_Selected_Component which wasn't completely safe.
(List_Cannot_Raise_CE): New.
* libgnat/i-cobol.adb (Valid_Packed): Simplify test to address
new GNAT warning.
Diffstat (limited to 'gcc/tree-vect-generic.c')
0 files changed, 0 insertions, 0 deletions