diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-07-04 13:31:24 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-07-04 13:31:24 +0000 |
| commit | 8e9d12597759d6626335764fac82795cef78f7be (patch) | |
| tree | 44bfd5c7d3bbfa64205b95de570d167845fe6f12 /gcc/ada/a-coinve.ads | |
| parent | 210a164419cbbf31544e375344036f30f891dea2 (diff) | |
| download | gcc-8e9d12597759d6626335764fac82795cef78f7be.tar.gz | |
2005-07-04 Matthew Heaney <heaney@adacore.com>
* a-convec.ads, a-coinve.ads: Declaration of subtype Extended_Index
was changed.
* a-coinve.adb: Perform constraint checks explicitly.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@101597 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/a-coinve.ads')
| -rw-r--r-- | gcc/ada/a-coinve.ads | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/ada/a-coinve.ads b/gcc/ada/a-coinve.ads index f33e8308439..e2a4de9539c 100644 --- a/gcc/ada/a-coinve.ads +++ b/gcc/ada/a-coinve.ads @@ -48,8 +48,7 @@ pragma Preelaborate (Indefinite_Vectors); subtype Extended_Index is Index_Type'Base range Index_Type'First - 1 .. - Index_Type'Last + - Boolean'Pos (Index_Type'Base'Last > Index_Type'Last); + Index_Type'Min (Index_Type'Base'Last - 1, Index_Type'Last) + 1; No_Index : constant Extended_Index := Extended_Index'First; |