[PATCH] D55388: [analyzer] MoveChecker Pt.8: Add checks for dereferencing a smart pointer after move.

Henry Wong via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Dec 6 22:52:45 PST 2018


MTC accepted this revision.
MTC added inline comments.
This revision is now accepted and ready to land.


================
Comment at: lib/StaticAnalyzer/Checkers/MoveChecker.cpp:90
   // in a valid manner.
   // TODO: We can still try to identify *unsafe* use after move, such as
   // dereference of a moved-from smart pointer (which is guaranteed to be null).
----------------
Outdated `TODO`?


Repository:
  rC Clang

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D55388/new/

https://reviews.llvm.org/D55388





More information about the cfe-commits mailing list