1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
/* -*- indent-tabs-mode: nil; js-indent-level: 2 -*- */
/* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
//-----------------------------------------------------------------------------
var BUGNUMBER = 418641;
var summary = '++ and -- correctness';
var actual = '';
var expect = '';
printBugNumber(BUGNUMBER);
printStatus (summary);
function get_pre_check(operand, op)
{
return "{\n"+
" "+operand+" = I;\n"+
" let tmp = "+op+op+operand+";\n"+
" if ("+operand+" !== Number(I) "+op+" 1)\n"+
" throw Error('"+op+op+operand+" case 1 for '+uneval(I));\n"+
" if (tmp !== "+operand+")\n"+
" throw Error('"+op+op+operand+" case 2 for '+uneval(I));\n"+
"}\n";
}
function get_post_check(operand, op)
{
return "{\n"+
" "+operand+" = I;\n"+
" let tmp = "+operand+op+op+";\n"+
" if ("+operand+" !== Number(I) "+op+" 1)\n"+
" throw Error('"+operand+op+op+" case 1 for '+uneval(I));\n"+
" if (tmp !== Number(I))\n"+
" throw Error('"+op+op+operand+" case 2 for '+uneval(I));\n"+
"}\n";
}
function get_check_source(operand)
{
return get_pre_check(operand, '+')+
get_pre_check(operand, '-')+
get_post_check(operand, '+')+
get_post_check(operand, '-');
}
var arg_check = Function('I', 'a', get_check_source('a'));
var let_check = Function('I', 'let a;'+get_check_source('a'));
var var_check = Function('I', 'var a;'+get_check_source('a'));
var my_name;
var my_obj = {};
var my_index = 0;
var name_check = Function('I', get_check_source('my_name'));
var prop_check = Function('I', get_check_source('my_obj.x'));
var elem_check = Function('I', get_check_source('my_obj[my_index]'));
var test_values = [0 , 0.5, -0.0, (1 << 30) - 1, 1 - (1 << 30)];
for (let i = 0; i != test_values.length; i = i + 1) {
let x = [test_values[i], String(test_values[i])];
for (let j = 0; j != x.length; j = j + 1) {
try
{
expect = actual = 'No Error';
let test_value = x[j];
arg_check(test_value, 0);
let_check(test_value);
var_check(test_value);
name_check(test_value);
prop_check(test_value);
elem_check(test_value);
}
catch(ex)
{
actual = ex + '';
}
reportCompare(expect, actual, summary + ': ' + i + ', ' + j);
}
}
|
