commit b40fc97e12c39bfde470d61205dfacee0b3474bf
author pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4> Tue Dec 11 11:11:42 2018 +0000
committer pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4> Tue Dec 11 11:11:42 2018 +0000
tree d945d5736bed089227b5406ea0ea73c30586af46
parent 196aa9dd488e11c4b6076fed9e7820f88990eef6

[Ada] Fix setting of Has_Predicate flag for aggregate subtypes

This patch enures that the subtype of an aggregate has the Has_Predicate
flag properly set if the array component has a predicate, including the
case the predicate function for the component has not been constructed
yet.

2018-12-11  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

	* sem_aggr.adb (Array_Aggr_Subtype. Resolve_Aggr_Expr): Indicate
	that aggregate subtype has a predicate if the component type has
	a predicate; do not rely on exisatence of predicate function for
	component, in case component is a type no yet frozen, for which
	predicate function has not been created yet.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@267007 138bc75d-0d04-0410-961f-82ee72b054a4