« Bugzilla Issues Index
#3108 — 9.5.12 [[OwnPropertyKeys]] ( ) step 20.c can trip an assertion
- bug_id:
3108
- creation_ts:
2014-08-06 09:15:00 -0700
- short_desc:
9.5.12 [[OwnPropertyKeys]] ( ) step 20.c can trip an assertion
- delta_ts:
2014-08-25 08:29:26 -0700
- product:
Draft for 6th Edition
- component:
technical issue
- version:
Rev 26: July 18, 2014 Draft
- rep_platform:
All
- op_sys:
All
- bug_status:
RESOLVED
- resolution:
FIXED
- priority:
Normal
- bug_severity:
enhancement
- everconfirmed:
true
- reporter:
Jason Orendorff
- assigned_to:
Allen Wirfs-Brock
- commentid:
9681
- comment_count:
0
- who:
Jason Orendorff
- bug_when:
2014-08-06 09:15:13 -0700
Step 20.c. reads:
> c. Let desc the result of calling the [[GetOwnProperty]] internal method
> of target with argument key.
But the algorithm hasn't checked that key is a string or symbol.
- commentid:
9682
- comment_count:
1
- who:
Allen Wirfs-Brock
- bug_when:
2014-08-06 10:45:18 -0700
It's an invariant of [[OwnPropertyKeys]] that the List it returns only contains strings and symbols. Also the Proxy version of [[OwnPropertyKeys]] enforces that invariant. So, the only way it could be violated would be if a native exotic object incorrectly implemented [[OwnPropertyKeys]]
At added an assert concerning the list values in 9.5.12 after the call that returns targetKeys.
Fixed in rev27 editor's draft
- commentid:
9926
- comment_count:
2
- who:
Allen Wirfs-Brock
- bug_when:
2014-08-25 08:29:26 -0700
fixed in rev27 draft