diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2018-04-19 23:24:32 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2018-04-19 23:24:32 +0000 |
| commit | 468bc0d8b9c5ca13af4c3d87b36dc544ccae9265 (patch) | |
| tree | 68c990ba688dbc5a6a2f7ea0535c9584d9a77ac5 /llvm/lib/Object/ModuleSymbolTable.cpp | |
| parent | b72daf00f45a92a07cd539025cf83f975ba65079 (diff) | |
| download | llvm-468bc0d8b9c5ca13af4c3d87b36dc544ccae9265.zip llvm-468bc0d8b9c5ca13af4c3d87b36dc544ccae9265.tar.gz llvm-468bc0d8b9c5ca13af4c3d87b36dc544ccae9265.tar.bz2 | |
[analyzer] When we fail to evaluate a pointer cast, escape the pointer.
If a pointer cast fails (evaluates to an UnknownVal, i.e. not implemented in the
analyzer) and such cast is in fact the last use of the pointer, the pointer
symbol is no longer referenced by the program state and a leak is
(mis-)diagnosed.
"Escape" the pointer upon a failed cast, i.e. inform the checker that we can no
longer reliably track it.
Differential Revision: https://reviews.llvm.org/D45698
llvm-svn: 330380
Diffstat (limited to 'llvm/lib/Object/ModuleSymbolTable.cpp')
0 files changed, 0 insertions, 0 deletions