diff options
| author | Yannick Moy <moy@adacore.com> | 2020-10-05 09:05:06 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-24 05:16:03 -0500 |
| commit | 4f94320340e621e0b32e26f5e5b4d8883c7f8241 (patch) | |
| tree | 75250726609d3c5784922d3f7a93131cc7fec686 | |
| parent | fa65696761c167412262779e37fc15306e08dd1b (diff) | |
| download | gcc-4f94320340e621e0b32e26f5e5b4d8883c7f8241.zip gcc-4f94320340e621e0b32e26f5e5b4d8883c7f8241.tar.gz gcc-4f94320340e621e0b32e26f5e5b4d8883c7f8241.tar.bz2 | |
[Ada] Fix crash in GNATprove on inlined subprogram in default expression
gcc/ada/
* sem_ch3.adb (Process_Discriminants): Correctly set right
context for analyzing default value of discriminant.
| -rw-r--r-- | gcc/ada/sem_ch3.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index 269818a..f5c7808 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -20093,7 +20093,7 @@ package body Sem_Ch3 is -- Per-Object Expressions" in spec of package Sem). if Present (Expression (Discr)) then - Preanalyze_Spec_Expression (Expression (Discr), Discr_Type); + Preanalyze_Default_Expression (Expression (Discr), Discr_Type); -- Legaity checks |