projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa65696) | patch
[Ada] Fix crash in GNATprove on inlined subprogram in default expression
authorYannick Moy <moy@adacore.com>
Mon, 5 Oct 2020 07:05:06 +0000 (09:05 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 24 Nov 2020 10:16:03 +0000 (05:16 -0500)
commit4f94320340e621e0b32e26f5e5b4d8883c7f8241
tree75250726609d3c5784922d3f7a93131cc7fec686tree
parentfa65696761c167412262779e37fc15306e08dd1bcommit | diff
[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.
gcc/ada/sem_ch3.adb diff | blob | history