Indeed, this seems to be a problem. I have made a Bugzilla entry for it: https://bugs.webkit.org/show_bug.cgi?id=20340 We should continue discussion of the bug there. Thanks for pointing it out. We should have noticed this subtlety when we added SegmentedVector. Cameron