From: joakimds@kth.se
Subject: Re: gnat.string_split , howto manipulate slice numbers
Date: Thu, 31 Oct 2019 02:30:29 -0700 (PDT)
Date: 2019-10-31T02:30:29-07:00 [thread overview]
Message-ID: <22cb257e-36af-42e6-b969-ed22bd7ae3a6@googlegroups.com> (raw)
In-Reply-To: <lyimo6xyfk.fsf@pushface.org>
> >
> > Another reason is to distinguish index/key from position. When both
> > are subtypes of integer some bugs may slip through, e.g.
> >
> > A (A'Length - 1)
> >
> > This is broken code, but the compiler cannot detect it.
>
> How is it broken?
>
The index should be an index from A'First to A'Last and using A'Length does not guarantee A'Length - 1 being a valid index. Hmm... how to fix it in the best possible way? Or just accept it being an edge case Ada does not detect at compile-time?
Best regards,
Joakim
next prev parent reply other threads:[~2019-10-31 9:30 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-10-29 1:54 gnat.string_split , howto manipulate slice numbers Alain De Vos
2019-10-29 8:17 ` briot.emmanuel
2019-10-29 16:56 ` Jeffrey R. Carter
2019-10-29 19:36 ` Niklas Holsti
2019-10-29 23:06 ` J-P. Rosen
2019-11-01 9:45 ` joakimds
2019-10-29 23:36 ` Stephen Leake
2019-10-29 8:35 ` Simon Wright
2019-10-29 11:08 ` Alain De Vos
2019-10-29 11:20 ` Alain De Vos
2019-10-29 16:44 ` J-P. Rosen
2019-10-29 16:47 ` Simon Wright
2019-10-29 18:33 ` J-P. Rosen
2019-10-29 19:37 ` Dmitry A. Kazakov
2019-10-30 11:30 ` Simon Wright
2019-10-31 9:30 ` joakimds [this message]
2019-10-31 10:12 ` Dmitry A. Kazakov
2019-10-31 18:36 ` J-P. Rosen
2019-11-01 9:39 ` joakimds
2019-10-29 16:41 ` Simon Wright
2019-10-29 16:53 ` Jeffrey R. Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox