diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2018-12-15 02:09:02 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2018-12-15 02:09:02 +0000 |
| commit | 0ce45fae72913eea670df9bc72de5631b61d3392 (patch) | |
| tree | a672003d2120cbc7b2e08c9f8d524027b5aeac62 /clang/lib/FrontendTool/ExecuteCompilerInvocation.cpp | |
| parent | 5f500a33c1b59ee2c63098b6f92558571f24495a (diff) | |
| download | llvm-0ce45fae72913eea670df9bc72de5631b61d3392.zip llvm-0ce45fae72913eea670df9bc72de5631b61d3392.tar.gz llvm-0ce45fae72913eea670df9bc72de5631b61d3392.tar.bz2 | |
[analyzer] ObjCDealloc: Fix a crash when a class attempts to deallocate a class.
The checker wasn't prepared to see the dealloc message sent to the class itself
rather than to an instance, as if it was +dealloc.
Additionally, it wasn't prepared for pure-unknown or undefined self values.
The new guard covers that as well, but it is annoying to test because
both kinds of values shouldn't really appear and we generally want to
get rid of all of them (by modeling unknown values with symbols and
by warning on use of undefined values before they are used).
The CHECK: directive for FileCheck at the end of the test looks useless,
so i removed it.
Differential Revision: https://reviews.llvm.org/D55680
llvm-svn: 349228
Diffstat (limited to 'clang/lib/FrontendTool/ExecuteCompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions