Actually this modification is invalid, because there are other visitors that don't remove the head of the list. I'll fix that tomorrow.
https://chromiumcodereview.appspot.com/10546179/ -- v8-dev mailing list [email protected] http://groups.google.com/group/v8-dev
