From gehrke@rrzn.uni-hannover.de  Mon Dec 18 08:41:07 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 IAA28977 for <SC22WG5@dkuug.dk>; Mon, 18 Dec 1995 08:41:00 +0100
Received: from sun204w.rrzn-nis.uni-hannover.de (actually sun204w.rrzn.uni-hannover.de) 
          by mgate.uni-hannover.de with SMTP (PP);
          Mon, 18 Dec 1995 08:38:07 +0100
Received: by sun204w.rrzn-nis.uni-hannover.de (5.0/SMI-SVR4) id AA00330;
          Mon, 18 Dec 1995 08:38:06 +0100
Date: Mon, 18 Dec 1995 08:38:06 +0100
From: gehrke@rrzn.uni-hannover.de (Wilhelm Gehrke)
Message-Id: <9512180738.AA00330@sun204w.rrzn-nis.uni-hannover.de>
To: SC22WG5@dkuug.dk
Subject: X3J3/95-007R2: illegal branch targets
Content-Length: 703


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.

Best regards,

---
Wilhelm Gehrke, RRZN/UH, Schlosswenderstr. 5, D-30159 Hannover 
EMail: gehrke@rrzn.uni-hannover.de   Phone: +49 (511) 762-4728 
