HomeIsabelle/Phabricator

remove UB left shift
01d612cef50dUnpublished

Unpublished Commit ยท Learn More

Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

Description

remove UB left shift

The literal '1' has type int, and shifting left into the sign bit is undefined
behavior in C/C++. It is unlikely any compilers mis-compiled this, but better to
guard against this.

Details

Provenance
Matthew Fernandez <matthew.fernandez@gmail.com>Authored on Feb 17 2021, 4:48 PM
Parents
rPOLYML62a56474f04a: Fix boxed version.
Branches
Unknown
Tags
Unknown
References
refs/pull/145/head

Event Timeline