diff options
| author |  Jason Gross <jgross@mit.edu> | 2019-01-14 19:05:15 -0500 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2019-01-15 14:00:52 -0500 |
| commit | c61d5be86e3efb978883fc60687af42192aacaff (patch) | |
| tree | ea7da7858e1561490b8795d8e71b21819fca4319 /src/Util | |
| parent | 8faf6852f5bb36f5c663386f7dfbd0ae258445f9 (diff) | |
Don't cast signed to unsigned before shifting
Unfortunately, signed->unsigned casts do not commute with shifts. We
take care to only extend the range when it needs extending, now. This
was previously causing issues with subborrow.
We should really get proofs about casts in C semantics at some point
soon.
Fixes #489
Diffstat (limited to 'src/Util')
0 files changed, 0 insertions, 0 deletions