ada: Spurious errors on class-wide preconditions of private types

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.

0 files changed, 0 insertions, 0 deletions