]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 033d300) | patch
[analyzer] teach analyzer about ObjC literals, thus trimming out a false positive...
authorTed Kremenek <kremenek@apple.com>
Tue, 28 Feb 2012 00:56:05 +0000 (00:56 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 28 Feb 2012 00:56:05 +0000 (00:56 +0000)
commit4c62b557e269a27515dfca1f754ae936c8fdb824
tree55227ce5bd531fbc28d09fdc1451962672b2108dtree | snapshot
parent033d3007b16d7f6c0f0eafd06c7096cfd22d89f5commit | diff
[analyzer] teach analyzer about ObjC literals, thus trimming out a false positive with the malloc() checker involving
comparing literal addresses to nil.

Fixes <rdar://problem/10579586>

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@151602 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h diff | blob | history
lib/StaticAnalyzer/Core/Environment.cpp diff | blob | history
lib/StaticAnalyzer/Core/MemRegion.cpp diff | blob | history
lib/StaticAnalyzer/Core/Store.cpp diff | blob | history
test/Analysis/malloc.m [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.