diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-05-26 12:19:01 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-10 05:16:16 -0400 |
| commit | eb6eb3b79aac8efe003861859e52d8e1680b120f (patch) | |
| tree | 7d8338c0b72ca586a49ee6d69cc3be717261d5c9 /gcc/cp/class.c | |
| parent | c24633fbbb88d0032008ab012e2e3204b9405ec4 (diff) | |
| download | gcc-eb6eb3b79aac8efe003861859e52d8e1680b120f.zip gcc-eb6eb3b79aac8efe003861859e52d8e1680b120f.tar.gz gcc-eb6eb3b79aac8efe003861859e52d8e1680b120f.tar.bz2 | |
[Ada] Fix failing assertions related to volatile objects
gcc/ada/
* sem_ch3.adb (Process_Discriminants): Set Ekind of the
processed discriminant entity before passing to
Is_Effectively_Volatile, which was crashing on a failed
assertion.
* sem_prag.adb (Analyze_External_Property_In_Decl_Part): Prevent
call to No_Caching_Enabled with entities other than variables,
which was crashing on a failed assertion.
(Analyze_Pragma): Style cleanups.
* sem_util.adb (Is_Effectively_Volatile): Enforce comment with
an assertion; prevent call to No_Caching_Enabled with entities
other than variables.
(Is_Effectively_Volatile_Object): Only call
Is_Effectively_Volatile on objects, not on types.
(No_Caching_Enabled): Enforce comment with an assertion.
Diffstat (limited to 'gcc/cp/class.c')
0 files changed, 0 insertions, 0 deletions