[Ada] Inconsistent scope chain due to quantified expression

2019-08-20 Thread Pierre-Marie de Rodat
Routine Build_DIC_Procedure_Declaration appears to be heavily inspired by Build_Invariant_Procedure_Declaration; they both wrap an expression attached to a type inside an internal procedure. Initially none of them were calling Set_Last_Entity. For Build_Invariant_Procedure_Declaration this was fix

[Ada] Inconsistent scope chain due to quantified expression

2018-01-11 Thread Pierre-Marie de Rodat
This patch corrects the minor decoration performed on invariant procedures in case the procedure is not inserted into the tree and analyzed. The decoration now constructs a proper first/next/last entity chain containing the single formal parameter which represents the object of the related type. Th