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)
commit69909540a700e866767a14c67fca64f835044452
tree9f303ea33ca2e1d2be0120936c5dc22e7752044e
parent3ee103085ed5838fb11aff7f9b915e1d6416cd29
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

llvm-svn: 349326
clang/lib/StaticAnalyzer/Checkers/MoveChecker.cpp
clang/test/Analysis/use-after-move.cpp