]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Fix setting of Has_Predicate flag for aggregate subtypes
authorpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 11 Dec 2018 11:11:42 +0000 (11:11 +0000)
committerpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 11 Dec 2018 11:11:42 +0000 (11:11 +0000)
commitb40fc97e12c39bfde470d61205dfacee0b3474bf
treed945d5736bed089227b5406ea0ea73c30586af46
parent196aa9dd488e11c4b6076fed9e7820f88990eef6
[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
gcc/ada/ChangeLog
gcc/ada/sem_aggr.adb