Package org.checkerframework.checker.signedness

Class SignednessShifts

java.lang.Object
org.checkerframework.checker.signedness.SignednessShifts
public class SignednessShifts extends Object
This file contains code to special-case shifts whose result does not depend on the MSB of the first argument, due to subsequent masking or casts.
See the Checker Framework Manual:
Signedness Checker