diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2022-11-17 13:31:33 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-11-21 11:10:34 +0100 |
| commit | 5947b1ee8af0c8e5a08a20f1f2b9f0b09720d130 (patch) | |
| tree | 664861dfdcb9c389c5b7e754413cfb33497c159b | |
| parent | 24dde337d8bf3f971dd7abc643bb7f1703eaf022 (diff) | |
| download | gcc-5947b1ee8af0c8e5a08a20f1f2b9f0b09720d130.zip gcc-5947b1ee8af0c8e5a08a20f1f2b9f0b09720d130.tar.gz gcc-5947b1ee8af0c8e5a08a20f1f2b9f0b09720d130.tar.bz2 | |
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.
| -rw-r--r-- | gcc/ada/sem_util.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 67baf7a..f331b4b 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -23634,7 +23634,7 @@ package body Sem_Util is -- Unconstrained array type else - pragma Assert (Is_Array_Type (Typ) and not Is_Definite_Subtype (Typ)); + pragma Assert (Is_Array_Type (Typ) and then not Is_Constrained (Typ)); return True; end if; end Needs_Secondary_Stack; |