[Ada] Fix slices and qualified expressions being effectively volatile
authorPiotr Trojanek <trojanek@adacore.com>
Sat, 30 May 2020 09:56:38 +0000 (11:56 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 15 Jul 2020 13:42:42 +0000 (09:42 -0400)
commit9fdf1cebafc95c86c0cf321ce415148366f35225
tree52876d4ad1db7283d071812dc3b1d870cd10ad46
parent98e663f5979ad0686d7ed79a3c8ff7445f5fab18
[Ada] Fix slices and qualified expressions being effectively volatile

gcc/ada/

* exp_ch5.adb (Expand_Assign_Array): Use short-circuit operator
(style).
* sem_res.adb (Resolve_Indexed_Component): Fix style in comment.
* sem_util.adb (Is_Effectively_Volatile_Object): Handle slices
just like indexed components; handle qualified expressions and
type conversions lie in Is_OK_Volatile_Context.
(Is_OK_Volatile_Context): Handle qualified expressions just like
type conversions.
gcc/ada/exp_ch5.adb
gcc/ada/sem_res.adb
gcc/ada/sem_util.adb