commit | 5947b1ee8af0c8e5a08a20f1f2b9f0b09720d130 | [log] [tgz] |
---|---|---|
author | Eric Botcazou <ebotcazou@adacore.com> | Thu Nov 17 13:31:33 2022 +0100 |
committer | Marc Poulhiès <poulhies@adacore.com> | Mon Nov 21 11:10:34 2022 +0100 |
tree | 664861dfdcb9c389c5b7e754413cfb33497c159b | |
parent | 24dde337d8bf3f971dd7abc643bb7f1703eaf022 [diff] |
ada: Minor tweak in assertion For an array subtype, being definite is the same as being constrained. gcc/ada/ * sem_util.adb (Needs_Secondary_Stack): Test Is_Constrained directly instead of Is_Definite_Subtype for an array subtype.