From gehrke@rrzn.uni-hannover.de  Tue Dec 19 07:31:36 1995
Received: from mgate.uni-hannover.de (mgate.uni-hannover.de [130.75.2.3]) by dkuug.dk (8.6.12/8.6.12) with SMTP id HAA27999 for <SC22WG5@dkuug.dk>; Tue, 19 Dec 1995 07:31:28 +0100
Received: from sun204w.rrzn-nis.uni-hannover.de (actually sun204w.rrzn.uni-hannover.de) 
          by mgate.uni-hannover.de with SMTP (PP);
          Tue, 19 Dec 1995 07:31:22 +0100
Received: by sun204w.rrzn-nis.uni-hannover.de (5.0/SMI-SVR4) id AA00287;
          Tue, 19 Dec 1995 07:31:20 +0100
Date: Tue, 19 Dec 1995 07:31:20 +0100
From: gehrke@rrzn.uni-hannover.de (Wilhelm Gehrke)
Message-Id: <9512190631.AA00287@sun204w.rrzn-nis.uni-hannover.de>
To: SC22WG5@dkuug.dk
Subject: Re: (SC22WG5.974) X3J3/95-007R2: illegal branch targets
Content-Length: 1195

>  > 
> > 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. 
> 


Indeed, you are right. But nevertheless, I would prefer to find a hint in 
this context that ELSEWHERE and END WHERE statements are not allowed to be used 
as _branch targets_. (See the difference in wording). 

You can find similar redundancy on page 122 line 41. There, 'branch target 
statement' should be replaced by 'branch target' because ELSE IF and ELSE 
statements are no branch target statements.

W. G.