tree 8bde0f5058e316d3640a4c9194b6f8db38ae19e3
parent 65ed16c871ff7b7c9707a4dc6d50e615f939baf8
author adonovan <adonovan@google.com> 1593204866 -0700
committer Copybara-Service <copybara-worker@google.com> 1593204962 -0700

bazel syntax: reject x<<y if y > 31

Because Java's shift operators only use the low 5 bits of y,
we cannot check for overflow simply by unshifting and comparing.

Also, detect overflow of integer division (MININT // -1).

BUG=159942010,159946493
PiperOrigin-RevId: 318537836