]> gcc.gnu.org Git - gcc.git/commit - gcc/ada/sem_ch3.adb
ada: Improve handling of declare expressions in deferred-freezing contexts
authorSteve Baird <baird@adacore.com>
Wed, 19 Oct 2022 19:42:55 +0000 (12:42 -0700)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 8 Nov 2022 08:35:00 +0000 (09:35 +0100)
commitf2fa41b442ae6b6ab1fbde82d31abcd986b9f1f3
tree5e18471a3d34aee25efb740a4a1c5e58b7ef5851
parent270713d3f65243a089f4cdee04cd689422a95530
ada: Improve handling of declare expressions in deferred-freezing contexts

In some cases where a declare expression occurs in a deferred-freezing
context (e.g., within the default value for a discriminant or for a formal
parameter, or within the expression of an expression function), the compiler
generates a bugbox.

gcc/ada/

* sem_ch3.adb
(Analyze_Object_Declaration): Do not perform expansion actions if
In_Spec_Expression is true.
gcc/ada/sem_ch3.adb
This page took 0.062836 seconds and 5 git commands to generate.