OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Fix crash in GNATprove on inlined subprogram in default expression

Browse Source 
gcc/ada/

	* sem_ch3.adb (Process_Discriminants): Correctly set right
	context for analyzing default value of discriminant.
This commit is contained in:
Yannick Moy 2020-10-05 09:05:06 +02:00 committed by Pierre-Marie de Rodat
parent fa65696761
commit 4f94320340
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gcc/ada/sem_ch3.adb
View File

@ -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