[strong] Disallow implicit conversions for binary arithmetic operations

src/runtime.js

 // Copyright 2006-2008 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 // This files contains runtime support implemented in JavaScript.
 
 // CAUTION: Some of the functions specified in this file are called
 // directly from compiled code. These are the functions with names in
 // ALL CAPS. The compiled code passes the first argument in 'this'.
 
@@ skipping 181 matching lines @@
 
 
 // ECMA-262, section 11.6.2, page 50.
 function SUB(y) {
   var x = IS_NUMBER(this) ? this : %NonNumberToNumber(this);
   if (!IS_NUMBER(y)) y = %NonNumberToNumber(y);
   return %NumberSub(x, y);
 }
 
 
+// ECMA-262, section 11.6.2, page 50.
+function SUB_STRONG(y) {
+  if (IS_NUMBER(this) && IS_NUMBER(y)) {
+    return %NumberSub(this, y);
+  }
+  throw %MakeTypeError('strong_implicit_cast');
+}
+
+
 // ECMA-262, section 11.5.1, page 48.
 function MUL(y) {
   var x = IS_NUMBER(this) ? this : %NonNumberToNumber(this);
   if (!IS_NUMBER(y)) y = %NonNumberToNumber(y);
   return %NumberMul(x, y);
 }
 
 
+// ECMA-262, section 11.5.1, page 48.
+function MUL_STRONG(y) {
+  if (IS_NUMBER(this) && IS_NUMBER(y)) {
+    return %NumberMul(this, y);
+  }
+  throw %MakeTypeError('strong_implicit_cast');
+}
+
+
 // ECMA-262, section 11.5.2, page 49.
 function DIV(y) {
   var x = IS_NUMBER(this) ? this : %NonNumberToNumber(this);
   if (!IS_NUMBER(y)) y = %NonNumberToNumber(y);
   return %NumberDiv(x, y);
 }
 
 
+// ECMA-262, section 11.5.2, page 49.
+function DIV_STRONG(y) {
+  if (IS_NUMBER(this) && IS_NUMBER(y)) {
+    return %NumberDiv(this, y);
+  }
+  throw %MakeTypeError('strong_implicit_cast');
+}
+
+
 // ECMA-262, section 11.5.3, page 49.
 function MOD(y) {
   var x = IS_NUMBER(this) ? this : %NonNumberToNumber(this);
   if (!IS_NUMBER(y)) y = %NonNumberToNumber(y);
   return %NumberMod(x, y);
 }
 
 
+// ECMA-262, section 11.5.3, page 49.
+function MOD_STRONG(y) {
+  if (IS_NUMBER(this) && IS_NUMBER(y)) {
+    return %NumberMod(this, y);
+  }
+  throw %MakeTypeError('strong_implicit_cast');
+}
+
 
 /* -------------------------------------------
    - - -   B i t   o p e r a t i o n s   - - -
    -------------------------------------------
 */
 
 // ECMA-262, section 11.10, page 57.
 function BIT_OR(y) {
   var x = IS_NUMBER(this) ? this : %NonNumberToNumber(this);
   if (!IS_NUMBER(y)) y = %NonNumberToNumber(y);
@@ skipping 542 matching lines @@
 
 /* -----------------------------------------------
    - - -   J a v a S c r i p t   S t u b s   - - -
    -----------------------------------------------
 */
 
 function STRING_LENGTH_STUB(name) {
   var receiver = this;  // implicit first parameter
   return %_StringGetLength(%_JSValueGetValue(receiver));
 }