| commit | 1a9ff8d39c1f5a63755f2a8bb0a982c7af4ee817 | [log] [tgz] |
|---|---|---|
| author | Piotr Trojanek <trojanek@adacore.com> | Wed Mar 03 20:15:56 2021 +0100 |
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | Wed Jun 16 04:43:05 2021 -0400 |
| tree | a5a5925693632156078ad4efaec6b99830b9b561 | |
| parent | 3feba0a578c364e6ca44ad5f954a30dc55e98065 [diff] |
[Ada] Ignore volatile restrictions in preanalysis gcc/ada/ * sem_util.adb (Is_OK_Volatile_Context): All references to volatile objects are legal in preanalysis. (Within_Volatile_Function): Previously it was wrongly called on Empty entities; now it is only called on E_Return_Statement, which allow the body to be greatly simplified.