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.
This commit no longer exists in the repository. It may have been part of a branch which was deleted.

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

Event Timeline

Commit No Longer Exists

This commit no longer exists in the repository.