| import org.checkerframework.common.value.qual.IntRange; |
| |
| public class BitwiseAnd { |
| |
| public static void Case11(@IntRange(from = 0) byte b) { |
| @IntRange(from = 0, to = 0xf0) int i1 = b & 0xf0; |
| } |
| |
| public static void Case12(@IntRange(to = -1) byte b) { |
| @IntRange(from = 0, to = 0xf0) int i1 = b & 0xf0; |
| } |
| |
| public static void Case13(byte b) { |
| @IntRange(from = 0, to = 0xf0) int i1 = b & 0xf0; |
| } |
| |
| public static void Case21(@IntRange(from = 0) byte b) { |
| @IntRange(from = 0, to = 0x0f) long i1 = b & 0x800000000000000fL; |
| } |
| |
| public static void Case22(@IntRange(to = -1) byte b) { |
| @IntRange(from = 0x8000000000000000L, to = 0x80000000ffffffffL) long i1 = b & 0x80000000ffffffffL; |
| } |
| |
| public static void Case23(byte b) { |
| @IntRange(from = 0x8000000000000000L, to = 0xf0) long i1 = b & 0x80000000000000f0L; |
| } |
| |
| public static void Issue1623(byte[] bytes) { |
| for (int i = 0; i < bytes.length; i++) { |
| byte b = bytes[i]; |
| @IntRange(from = 0, to = 15) int i1 = (b & 0xf0) >> 4; |
| @IntRange(from = 0, to = 15) int i2 = b & 0x0f; |
| } |
| } |
| } |