]> granicus.if.org Git - clang/commit
Speculatively re-apply "[analyzer] MoveChecker: Add checks for dereferencing..."
authorArtem Dergachev <artem.dergachev@gmail.com>
Mon, 17 Dec 2018 05:25:23 +0000 (05:25 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Mon, 17 Dec 2018 05:25:23 +0000 (05:25 +0000)
commitc1ae04023a00cfe3f3b50aeca648e9e0b1c4db13
tree0b3a0f8677e6f1defa67ee84d7478ff2ce6b7d22
parentba218efee57f415dc415aa0fd31d64d23ba3d987
Speculatively re-apply "[analyzer] MoveChecker: Add checks for dereferencing..."

This re-applies commit r349226 that was reverted in r349233 due to failures
on clang-x64-windows-msvc.

Specify enum type as unsigned for use in bit field. Otherwise overflows
may cause UB.

Differential Revision: https://reviews.llvm.org/D55388

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@349326 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/MoveChecker.cpp
test/Analysis/use-after-move.cpp