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
|
import org.checkerframework.checker.signedness.qual.PolySigned;
import org.checkerframework.checker.signedness.qual.Signed;
import org.checkerframework.checker.signedness.qual.UnknownSignedness;
import org.checkerframework.checker.signedness.qual.Unsigned;
public class Issue2543 {
public static @PolySigned int rotateRight(@PolySigned int i, int distance) {
// :: error: (shift.unsigned)
return (i >>> distance) | (i << -distance);
}
public static @Signed int rotateRightSigned(@Signed int i, int distance) {
// :: error: (shift.unsigned)
return (i >>> distance) | (i << -distance);
}
public static @Unsigned int rotateRightUnsigned(@Unsigned int i, int distance) {
return (i >>> distance) | (i << -distance);
}
public static @Unsigned int rotateRightUnknownSignedness(
@UnknownSignedness int i, int distance) {
// :: error: (return.type.incompatible)
return (i >>> distance) | (i << -distance);
}
}
|
