-
Notifications
You must be signed in to change notification settings - Fork 2k
Expand file tree
/
Copy pathplus.js
More file actions
33 lines (31 loc) · 854 Bytes
/
plus.js
File metadata and controls
33 lines (31 loc) · 854 Bytes
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
function f(x,y) {
if (x + 1 < y) {
if (x < y) {} // NOT OK - always true
if (x + 1 < y) {} // NOT OK - always true
if (x + 1 <= y) {} // NOT OK - always true
if (x > y) {} // NOT OK - always false
if (x >= y) {} // NOT OK - always false
if (x + 1 >= y) {} // NOT OK - always false
if (x + 2 < y) {} // OK
if (x < y - 1) {} // NOT OK - always true
}
if (x < y + 1) {
if (x < y) {} // OK
if (x + 1 < y) {} // OK
if (x - 1 < y) {} // NOT OK - always true
}
}
function g(x) {
let z = x + 1;
z += 1;
++z;
z++;
if (z < x + 4) {} // NOT OK - always false
if (z > x + 4) {} // NOT OK - always false
if (z < x + 5) {} // NOT OK - always true
if (z > x + 5) {} // NOT OK - always false
}
function h(x) {
let y = x++;
if (x > y) {} // NOT OK - always true
}