1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
public class EqualityTests {
// the Interning checker correctly issues an error below, but we would like to keep this test in
// all-systems.
@SuppressWarnings("Interning")
public boolean compareLongs(Long v1, Long v2) {
// This expression used to cause an assertion
// failure in GLB computation.
return !(((v1 == 0) || (v2 == 0)) && (v1 != v2));
}
public int charEquals(boolean cond) {
char result = 'F';
if (cond) {
result = 'T';
}
if (result == 'T') {
return 1;
} else {
assert result == '?';
}
return 10;
}
}
|
