22 lines
413 B
JavaScript
22 lines
413 B
JavaScript
description(
|
|
"Tests that a variable predicted to be either int or double but proven to be an int does confuse the Branch logic."
|
|
);
|
|
|
|
function foo(a, b, c) {
|
|
a = b;
|
|
if (c) {
|
|
if (a)
|
|
return 1;
|
|
else
|
|
return 2;
|
|
} else if (b)
|
|
a = 0.5;
|
|
return a;
|
|
}
|
|
|
|
shouldBe("foo(0, 1, 0)", "0.5");
|
|
|
|
for (var i = 0; i < 200; ++i)
|
|
shouldBe("foo(i, i + 1, i + 2)", "1");
|
|
|