ada: Incorrect optimization for unconstrained limited record component type

ada: Incorrect optimization for unconstrained limited record component type

If the discriminants of an immutably limited record type have defaults, then
it is safe to assume that a discriminant of an object of this type will never
change once it is initialized. In some cases, this means that the default
discriminant values can be treated like a constraint for purposes of
determining the amount of storage needed for an unconstrained object.
However, it is not safe to perform this optimization when determining
the size needed for an unconstrained component of an enclosing type. This
optimization was sometimes being incorrectly performed in this case. This could
save storage in some cases, but in other cases a constraint check could
incorrectly fail when initializing a component of an aggregate if the
discriminant values of the component differ from the default values.

gcc/ada/

	* sem_ch3.adb (Analyze_Component_Declaration): Remove
	Build_Default_Subtype_OK call and code that could only executed in
	the case where the removed call would have returned True. Other
	calls to Build_Default_Subtype_Ok are unaffected by this change.