archives

« Bugzilla Issues Index

#3703 — 19.2.1.1.1 CreateDynamicFunction: Unreachable steps


19.2.1.1.1 RuntimeSemantics: CreateDynamicFunction(constructor, newTarget, kind, args)

The following steps are no longer reachable after the constructor reform.

- step 18 (FunctionAllocate is infallible)
- step 22 (FunctionInitialize is infallible)
- step 24.b (ObjectCreate is infallible)
- step 26 (MakeConstructor is infallible)
- steps 27-28 (HasOwnProperty always returns false)
- step 29 condition (see above)
- step 29.b (SetFunctionName is infallible)


fixed in rev32 editor's draft.

Except, note that all operations that allocate new object can potentially result in abrupt completions. Admittedly, the spec. is rather sloppy about that case and it's plausible that most simple object allocation will always succeed.


fixed in rev32 draft


ReturnIfAbrupt after FunctionAllocate and ObjectCreate is still present.