From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: alternative elsif branch not tested
Date: Fri, 23 Feb 2018 20:53:55 +0100
Date: 2018-02-23T20:53:55+01:00 [thread overview]
Message-ID: <p6prgj$bmo$1@dont-email.me> (raw)
In-Reply-To: <32ac70ee-ce84-4433-87a9-800df7cc4cd7@googlegroups.com>
On 02/23/2018 08:39 PM, Mehdi Saada wrote:
> I don't understand:
> Shouldn't that line
> elsif Argument (1)'Length /= 1 or Argument(1)(ARGUMENT(1)'First) not in 'n'|'c'|'N'|'C' then ...
> cover the case where Argument(1)'Length = 0 (I suppose it's the problem) ?
"or" is a binary operator. Like all binary operators, both of its operands are
evaluated. See ARM 4.5.1
http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-4-5-1.html
--
Jeff Carter
"Strange women lying in ponds distributing swords
is no basis for a system of government."
Monty Python & the Holy Grail
66
next prev parent reply other threads:[~2018-02-23 19:53 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-02-22 22:54 alternative elsif branch not tested Mehdi Saada
2018-02-22 23:09 ` Mehdi Saada
2018-02-22 23:29 ` Anh Vo
2018-02-22 23:54 ` Randy Brukardt
2018-02-23 10:51 ` Mehdi Saada
2018-02-23 11:04 ` briot.emmanuel
2018-02-23 17:34 ` Jeffrey R. Carter
2018-02-23 19:31 ` Mehdi Saada
2018-02-23 19:39 ` Mehdi Saada
2018-02-23 19:53 ` Jeffrey R. Carter [this message]
2018-02-23 20:25 ` Mehdi Saada
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox