[COMMITTED] ada: Spurious errors on class-wide preconditions of private types
Checks
Commit Message
From: Javier Miranda <miranda@adacore.com>
The compiler reports spurious errors processing the class-wide
preconditions of a dispatching primitive of a private type T, when
the class-wide precondition invokes another dispatching primitive
of T that has the same name as a record component of T.
gcc/ada/
* sem_prag.adb (Analyze_Pre_Post_Condition_In_Decl_Part): Remove
call to preanalyze class-wide conditions since here it is too
early; they must be preanalyzed when full views of private types
have been analyzed.
* sem_ch7.adb (Analyze_Package_Specification): Preanalyze
class-wide conditions of dispatching primitives defined in nested
packages.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/sem_ch7.adb | 14 ++++++++++++++
gcc/ada/sem_prag.adb | 14 --------------
2 files changed, 14 insertions(+), 14 deletions(-)
@@ -1936,6 +1936,20 @@ package body Sem_Ch7 is
end;
end if;
+ -- Preanalyze class-wide conditions of dispatching primitives defined
+ -- in nested packages. For library packages, class-wide pre- and
+ -- postconditions are preanalyzed when the primitives are frozen
+ -- (see Merge_Class_Conditions); for nested packages, the end of the
+ -- package does not cause freezing (and hence they must be analyzed
+ -- now to ensure the correct visibility of referenced entities).
+
+ if not Is_Compilation_Unit (Id)
+ and then Is_Dispatching_Operation (E)
+ and then Present (Contract (E))
+ then
+ Preanalyze_Class_Conditions (E);
+ end if;
+
Next_Entity (E);
end loop;
@@ -26269,20 +26269,6 @@ package body Sem_Prag is
Check_Postcondition_Use_In_Inlined_Subprogram (N, Spec_Id);
Set_Is_Analyzed_Pragma (N);
- -- If the subprogram is frozen then its class-wide pre- and post-
- -- conditions have been preanalyzed (see Merge_Class_Conditions);
- -- otherwise they must be preanalyzed now to ensure the correct
- -- visibility of their referenced entities. This scenario occurs
- -- when the subprogram is defined in a nested package (since the
- -- end of the package does not cause freezing).
-
- if Class_Present (N)
- and then Is_Dispatching_Operation (Spec_Id)
- and then not Is_Frozen (Spec_Id)
- then
- Preanalyze_Class_Conditions (Spec_Id);
- end if;
-
Restore_Ghost_Region (Saved_GM, Saved_IGR);
end Analyze_Pre_Post_Condition_In_Decl_Part;