From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: fac41,9a0ff0bffdf63657
X-Google-Attributes: gidfac41,public
X-Google-Thread: f43e6,9a0ff0bffdf63657
X-Google-Attributes: gidf43e6,public
X-Google-Thread: 103376,4b06f8f15f01a568
X-Google-Attributes: gid103376,public
X-Google-Thread: 1108a1,9a0ff0bffdf63657
X-Google-Attributes: gid1108a1,public
From: Darren New <dnew@fv.com>
Subject: Re: Software landmines (loops)
Date: 1998/09/02
Message-ID: <35EDDDB3.D4F7D53D@fv.com>#1/1
X-Deja-AN: 387311125
Content-Transfer-Encoding: 7bit
References: <dewar.903281994@merv> <6r9f8h$jtm$1@nnrp1.dejanews.com>
 <6renh8$ga7$1@nnrp1.dejanews.com> <6rf59b$2ud$1@nnrp1.dejanews.com>
 <l5HC1.6840$wN.1856764@news.giganews.com> <6rfra4$rul$1@nnrp1.dejanews.com>
 <35DBDD24.D003404D@calfp.co.uk> <m3ogt3qgca.fsf@mheaney.ni.net>
 <6sbuod$fra$1@hirame.wwa.com> <35f51e53.48044143@
 <904556531.666222@miso.it.uq.edu.au> <6sgror$je8$3@news.indigo.ie>
 <6sh3qn$9p2$1@hirame.wwa.com> <Oi4H1.219$qj1.315418@newsread.com>
 <35ece7ee.1489912@news.erols.com> <35ED7082.1889@hfl.tc.faa.gov>
 <6sken3$jv0$1@nnrp1.dejanews.com>
Content-Type: text/plain; charset=us-ascii
Organization: First Virtual Holdings Inc
Mime-Version: 1.0
Newsgroups: comp.lang.eiffel,comp.object,comp.software-eng,comp.lang.ada
Date: 1998-09-02T00:00:00+00:00
List-Id: <comp.lang.ada>

john-clonts@hlp.com wrote:
> Doesn't subroutine1() here qualify as having a single entrance/exit
> *regardless* how many "return" statements happen to be coded within it?

Yes, but if there's two return statements inside Subroutine1, then at
least one structure will have multiple exits. (Or you have a wad of dead
code after the return.)

I.e., if S1 is
bool subroutine1() {
  yadda;
  hither;
  if (test) {
    yon;
    return true;
    }
  gabba;
  return false;
}

then the "if" has two exits.

-- 
Darren New / Senior Software Architect / First Virtual Holdings Inc
http://www.fv.com or info@fv.com -=|=- PGP Key: ftp://ftp.fv.com/pub/fv
Fingerprint: 61 7D AF 9E 00 CC C2 ED / D8 4C D7 AA E4 C2 A0 73