This revision was automatically updated to reflect the committed changes.
Closed by commit rL316924: [analyzer] Left shifting a negative value is
undefined (authored by xazax).
Changed prior to commit:
https://reviews.llvm.org/D39423?vs=120837&id=120841#toc
Repository:
rL LLVM
https://revie
xazax.hun created this revision.
Herald added subscribers: szepet, baloghadamsoftware, whisperity.
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.
Repository:
rL LLVM
https:/