JDK-4093121 : Contradiction in statements for execution of an empty statement in chapter 14
  • Type: Bug
  • Component: specification
  • Sub-Component: language
  • Affected Version: 1.1.3
  • Priority: P4
  • Status: Closed
  • Resolution: Not an Issue
  • OS: solaris_2.5.1
  • CPU: sparc
  • Submitted: 1997-11-14
  • Updated: 1998-01-23
  • Resolved: 1998-01-23
Related Reports
Relates :  
JDK-4083890 - Empty statements are not marked as unreachable
Description
The following statement in chapter 14.5 (p. 271):
"Execution of an empty statement always completes normally."

contradicts to the statement in chapter 14.19 (p.296):
"An empty statement can complete normally iff it is reachable."
Comments
SUGGESTED FIX The following statement in chapter 14.5 (p. 271): "Execution of an empty statement always completes normally." should take into account that execution of an empty statement doesn't complete normally if it is unreachable.
11-06-2004
EVALUATION I don't see a contradiction. An unreachable statement never executes, so no contradiction arises. In any case, there are real issues with this aspect of the spec, and bugs filed on them. This bug is however frivolous. gilad.bracha@eng 1998-01-23
23-01-1998