fails with "Unsyntactic continue" when continue target is closer than closest loop

[michaelficarra]

Smallest failing case

for(;;){ a: continue a; }

These related programs both parse fine

for(;;){ a: break a; }

a: for(;;){ continue a; }

Discovered by esfuzz generative testing.

[marijnh]

As I understand it, continue can only refer to a loop, so your example is indeed a syntax error. You can break arbitrary labels, but not continue them (thought that would be neat, allowing pretty much arbitrary goto).

[rvanvelzen]

continue indeed may only have an Identifier referring to an enclosing IterationStatement, whereas break refers to an enclosing Statement. The first example appears to be syntactically incorrect.

[michaelficarra]

@rvanvelzen: I reread that portion of the spec and I agree with your assessment. It seems the other parsers were wrongly accepting that program.