[Ada] The definition of constants in declare expressions is an interfering context
authorClaire Dross <dross@adacore.com>
Tue, 21 Apr 2020 12:15:22 +0000 (14:15 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 18 Jun 2020 09:08:15 +0000 (05:08 -0400)
commit3e395e356e55fb2cb133b7697ed1f386f5b27d41
treeb028909ffaaacee146054542fea70fe2da2acbea
parent6ba3247dc757bfe0b9806cdb2fa53ecc66cacdb4
[Ada] The definition of constants in declare expressions is an interfering context

2020-06-18  Claire Dross  <dross@adacore.com>

gcc/ada/

* sem_util.adb (Is_OK_Volatile_Context): Return False on
definitions of constants declared in declare expressions.
gcc/ada/sem_util.adb