From f235194518edff2339059a268951d8efaa1088b5 Mon Sep 17 00:00:00 2001 From: "yangguo@chromium.org" Date: Thu, 28 Nov 2013 15:30:17 +0000 Subject: [PATCH] Fix bug in inlining Function.apply. R=jkummerow@chromium.org BUG=323942 LOG=Y Review URL: https://codereview.chromium.org/95123003 git-svn-id: http://v8.googlecode.com/svn/branches/bleeding_edge@18135 ce2b1a6d-e550-0410-aec6-3dcde31c8c00 --- src/hydrogen.cc | 7 ++++ test/mjsunit/regress/regress-crbug-323942.js | 57 ++++++++++++++++++++++++++++ 2 files changed, 64 insertions(+) create mode 100644 test/mjsunit/regress/regress-crbug-323942.js diff --git a/src/hydrogen.cc b/src/hydrogen.cc index 634d2ca..89dc9de 100644 --- a/src/hydrogen.cc +++ b/src/hydrogen.cc @@ -7559,6 +7559,13 @@ bool HOptimizedGraphBuilder::TryCallApply(Call* expr) { // Found pattern f.apply(receiver, arguments). CHECK_ALIVE_OR_RETURN(VisitForValue(prop->obj()), true); HValue* function = Top(); + // The function get here may be an undefined constant if lookup fails. + if (function->IsConstant() && + !HConstant::cast(function)->handle(isolate())->IsJSFunction()) { + Drop(1); + return false; + } + AddCheckConstantFunction(expr->holder(), function, function_map); Drop(1); diff --git a/test/mjsunit/regress/regress-crbug-323942.js b/test/mjsunit/regress/regress-crbug-323942.js new file mode 100644 index 0000000..15af494 --- /dev/null +++ b/test/mjsunit/regress/regress-crbug-323942.js @@ -0,0 +1,57 @@ +// Copyright 2013 the V8 project authors. All rights reserved. +// Redistribution and use in source and binary forms, with or without +// modification, are permitted provided that the following conditions are +// met: +// +// * Redistributions of source code must retain the above copyright +// notice, this list of conditions and the following disclaimer. +// * Redistributions in binary form must reproduce the above +// copyright notice, this list of conditions and the following +// disclaimer in the documentation and/or other materials provided +// with the distribution. +// * Neither the name of Google Inc. nor the names of its +// contributors may be used to endorse or promote products derived +// from this software without specific prior written permission. +// +// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS +// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT +// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR +// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT +// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, +// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT +// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, +// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY +// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT +// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE +// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + +// Flags: --allow-natives-syntax + +"use strict"; + +// Function is defined on the prototype chain. +var holder = { f: function() { return 42; } }; +var receiver = { }; +receiver.__proto__ = { }; +receiver.__proto__.__proto__ = holder; + +// Inline two levels. +function h(o) { return o.f.apply(this, arguments); } +function g(o) { return h(o); } + +// Collect type information for apply call. +assertEquals(42, g(receiver)); +assertEquals(42, g(receiver)); + +// Sneakily remove the function from the prototype chain. +// The receiver map does not change. +receiver.__proto__.__proto__ = {}; + +// Lookup of o.f during graph creation fails. +%OptimizeFunctionOnNextCall(g); + +assertThrows(function() { g(receiver); }); + +// Put function back. +receiver.__proto__.__proto__ = holder; +assertEquals(42, g(receiver)); -- 2.7.4