archives

« Bugzilla Issues Index

#2548 — 13.6.1.2 DoWhile, LabelledEvaluation: Unnecessary condition in step 2c


13.6.1.2 Runtime Semantics: LabelledEvaluation, step 2c:

> If stmt is an abrupt completion and LoopContinues(stmt, labelSet) is false, return stmt.

This step can be simplified to:

> If LoopContinues(stmt, labelSet) is false, return stmt.

because LoopContinues only returns false if the completion argument is an abrupt completion.


fixed in rev24 editor's draft


fixed in rev24