[Ada] Constants no longer synchronised if they are access-to-variable
authorChris Martin <cmartin@adacore.com>
Tue, 16 Jun 2020 09:16:06 +0000 (10:16 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 16 Oct 2020 07:31:30 +0000 (03:31 -0400)
commitd931c94ea2048db6a85e9f1685404c2d210eef4a
tree0b18e9c057f3f26adf14315e1836270514c5b316
parent7e8e3cb479dcfdd58dd42825ad7b6c8d39c5ac0e
[Ada] Constants no longer synchronised if they are access-to-variable

gcc/ada/

* sem_util.ads, sem_util.adb (Is_Access_Variable): New function.
(Is_Synchronized_Object): Call new function when determining if
a constant can be regarded as synchronized.
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads