ada: Fix internal error on chain of predicated record types
commit5f8a29bd3487a60cf513c4976769b7dc0113f227
authorEric Botcazou <ebotcazou@adacore.com>
Fri, 27 Jan 2023 14:13:07 +0000 (27 15:13 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 16 May 2023 08:30:58 +0000 (16 10:30 +0200)
tree52ec480ea2801b69e2e7dd6a90d15c42df7fa44c
parent8ebdd4431829c61228ec92f906cb9f7a2141325f
ada: Fix internal error on chain of predicated record types

The preanalysis of a predicate set on one of the record types was causing
premature freezing of another record type.

gcc/ada/

* sem_ch13.adb: Add with and use clauses for Expander.
(Resolve_Aspect_Expressions) <Aspect_Predicate>: Emulate a
bona-fide preanalysis setup before calling
Resolve_Aspect_Expression.
gcc/ada/sem_ch13.adb