« Bugzilla Issues Index
#2014 — 9.3.1 [[GetPrototypeOf]]: Missing type check for trap result
- bug_id:
2014
- creation_ts:
2013-10-01 02:32:00 -0700
- short_desc:
9.3.1 [[GetPrototypeOf]]: Missing type check for trap result
- delta_ts:
2013-10-29 09:44:53 -0700
- product:
Draft for 6th Edition
- component:
technical issue
- version:
Rev 19: September 27, 2013 Draft
- rep_platform:
All
- op_sys:
All
- bug_status:
RESOLVED
- resolution:
FIXED
- priority:
Normal
- bug_severity:
normal
- everconfirmed:
true
- reporter:
André Bargull
- assigned_to:
Allen Wirfs-Brock
- cc:
jmdyck
- commentid:
5749
- comment_count:
0
- who:
André Bargull
- bug_when:
2013-10-01 02:32:06 -0700
9.3.1 [[GetPrototypeOf]] ( ), step 10:
The trapResult needs to be validated to be either an Object or null, otherwise the general [[GetPrototypeOf]] contract is violated (returns only Object or null).
> 10. If extensibleTarget is true, then return trapResult.
=>
10. If extensibleTarget is true, then
a. If Type(handlerProto) is neither Object nor Null, then throw a TypeError exception.
b. Return handlerProto.
Maybe the type check should actually be applied directly after step 7, similar to 9.3.5 [[GetOwnProperty]], step 9.
- commentid:
5820
- comment_count:
1
- who:
Michael Dyck
- bug_when:
2013-10-02 21:02:22 -0700
More basically, 'trapResult' is referenced by step 10, but not defined anywhere in the algorithm. The change suggested above appears to assume that it's a typo for 'handlerProto'.
- commentid:
5965
- comment_count:
2
- who:
Allen Wirfs-Brock
- bug_when:
2013-10-24 13:47:52 -0700
fixed in rev20 editor's draft
- commentid:
6037
- comment_count:
3
- who:
Allen Wirfs-Brock
- bug_when:
2013-10-29 09:44:53 -0700
fixed in rev20 draft, Oct. 28, 2013