archives

« Bugzilla Issues Index

#4074 — 9.2.2.2 OrdinaryCallBindThis: assert that the algorithm will not return an abrupt completion


9.2.2.2 OrdinaryCallBindThis

The last step of the algorithm, calling envRec.BindThisValue(), is the only one that could end up in an abrupt completion, in case of envrec.[[thisBindingStatus]] is "initialized".

However, (I think) it does not occur, because the OrdinaryCallBindThis abstract operation is always used on newly created execution context with non-initialised this-binding.

Asserting that would be useful, e.g. something like the following, just before current step 8:

Assert: envRec.[[thisBindingStatus]] is "uninitialized", and therefore the next step does not produces an abrupt completion.


fixed in rev35 editor's draft


fixed in rev35