comp.lang.ada
 help / color / mirror / Atom feed
From: "Gavino" <invalid@invalid.invalid>
Subject: Re: Question about SPARK flow error.
Date: Sat, 19 Jun 2010 20:23:52 +0200
Date: 2010-06-19T20:23:52+02:00	[thread overview]
Message-ID: <884g9oF462U1@mid.individual.net> (raw)
In-Reply-To: fd3e54b4-bff0-470a-8409-f48c3289a2f3@x27g2000yqb.googlegroups.com

"Phil Thornley" <phil.jpthornley@gmail.com> wrote in message
news:fd3e54b4-bff0-470a-8409-f48c3289a2f3@x27g2000yqb.googlegroups.com...
> One way to get rid of the error is to introduce a 'Local_Index' that
> is set in the loop; then set Index to that value after the loop if
> Found is True (and your existing code if False).

Doesn't that just push the flow error onto Local_Index?
After all, the loop body itself may (in principle) never be executed.





  reply	other threads:[~2010-06-19 18:23 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-06-19 16:58 Question about SPARK flow error Peter C. Chapin
2010-06-19 18:03 ` Phil Thornley
2010-06-19 18:23   ` Gavino [this message]
2010-06-19 19:24     ` Phil Thornley
2010-06-19 18:14 ` Gavino
2010-06-19 19:29   ` Phil Thornley
2010-06-19 23:28 ` Phil Thornley
2010-06-20  0:37   ` Peter C. Chapin
2010-06-20  8:42     ` Phil Thornley
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox