Page MenuHomePhabricator

[analyzer] Left shifting a negative value is undefined
ClosedPublic

Authored by xazax.hun on Oct 30 2017, 9:14 AM.

Details

Summary

The analyzer did not return an UndefVal in case a negative value was left shifted.
I also added altered the UndefResultChecker to emit a clear warning in this case.

Diff Detail

Repository
rL LLVM

Event Timeline

xazax.hun created this revision.Oct 30 2017, 9:14 AM
zaks.anna accepted this revision.Oct 30 2017, 10:03 AM
This revision is now accepted and ready to land.Oct 30 2017, 10:03 AM
This revision was automatically updated to reflect the committed changes.