diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2018-12-15 01:53:38 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2018-12-15 01:53:38 +0000 |
| commit | ffba750a0eddeec12267a9a31682b3b286141d88 (patch) | |
| tree | a01e0defd4a0a58fc182460a95c8fc7a7337ac14 /clang/lib/FrontendTool/ExecuteCompilerInvocation.cpp | |
| parent | b5b974e4b3157be16368fa2200c847a0637227cd (diff) | |
| download | llvm-ffba750a0eddeec12267a9a31682b3b286141d88.zip llvm-ffba750a0eddeec12267a9a31682b3b286141d88.tar.gz llvm-ffba750a0eddeec12267a9a31682b3b286141d88.tar.bz2 | |
[analyzer] MoveChecker: Add checks for dereferencing a smart pointer after move.
Calling operator*() or operator->() on a null STL smart pointer is
undefined behavior.
Smart pointers are specified to become null after being moved from.
So we can't warn on arbitrary method calls, but these two operators
definitely make no sense.
The new bug is fatal because it's an immediate UB,
unlike other use-after-move bugs.
The work on a more generic null smart pointer dereference checker
is still pending.
Differential Revision: https://reviews.llvm.org/D55388
llvm-svn: 349226
Diffstat (limited to 'clang/lib/FrontendTool/ExecuteCompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions