From J.Reid@letterbox.rl.ac.uk  Mon Dec 18 11:47:06 1995
Received: from letterbox.rl.ac.uk (letterbox.rl.ac.uk [130.246.8.100]) by dkuug.dk (8.6.12/8.6.12) with SMTP id LAA03521 for <SC22WG5@dkuug.dk>; Mon, 18 Dec 1995 11:46:58 +0100
Received: from jkr.cc.rl.ac.uk by letterbox.rl.ac.uk with SMTP (PP) 
          id <sg.26128-0@letterbox.rl.ac.uk>; Mon, 18 Dec 1995 10:46:32 +0000
Received: by jkr.cc.rl.ac.uk (4.1/SMI-4.1) id AA28847;
          Mon, 18 Dec 95 10:47:28 GMT
Date: Mon, 18 Dec 95 10:47:28 GMT
From: jkr@letterbox.rl.ac.uk (John Reid)
Message-Id: <9512181047.AA28847@jkr.cc.rl.ac.uk>
To: gehrke@rrzn.uni-hannover.de
Subject: Re: (SC22WG5.973) X3J3/95-007R2: illegal branch targets
Cc: SC22WG5@dkuug.dk


 > 
> The current wording on page 113 and 114 allows an ELSEWHERE
> statement, an END WHERE statement, and an END FORALL statement 
> of the outmost WHERE construct and outmost FORALL construct, 
> respectively, to be used as branch target statements.
> 
> Corrections:
> 
> 113/33: An ELSEWHERE statement, a masked ELSEWHERE statement, an
> 	END WHERE statement, and a statement that is part of a
> 	<where-body> shall not be a branch target statement.
> 
> 
> 114/37: An END FORALL statement, and a statement that is part of a
> 	<forall-body> shall not be a branch target statement.
 

These changes are not necessary; branch target statements are defined in 8.2
and do not include elsewhere and end forall statements.

JOhn Reid.