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 _______________________________________________ webkit-dev mailing list [email protected] http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
