The standard is pretty clear on the semantics. It is the semantics of the C program and I'm pretty sure it is correct to return garbage in C.

I would close this, since it is not per say a bug in our implementation but something we could address in the ECMA specification.