the for loop specification seems to be incomplete

[polux]

Unless I missed something, it looks like the spec for "traditional" for loops doesn't cover all the cases in the semantics part (the syntactic part does). It covers the

   for (var x = e; ...

case but for instance not the

   var x;
   for (x = e; ...

case.

   
   

[gbracha]

Added Duplicate label.
Marked as being merged into #1639.