projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 064185a) | patch
[analyzer] Teach the analyzer to use a symbol for p when evaluating
authorAnna Zaks <ganna@apple.com>
Tue, 5 Feb 2013 19:52:28 +0000 (19:52 +0000)
committerAnna Zaks <ganna@apple.com>
Tue, 5 Feb 2013 19:52:28 +0000 (19:52 +0000)
commitfe9c7c87c9e06d52d2108f1ee583e9659bf1b8c3
tree4c4175efc0545ca3eca4afa93eaec2df8dfb5cc6tree | snapshot
parent064185a8ce68a1511942de4420c41f1a9d5f23a5commit | diff
[analyzer] Teach the analyzer to use a symbol for p when evaluating
(void*)p.

Addresses the false positives similar to the test case.

llvm-svn: 174436
clang/lib/StaticAnalyzer/Core/SValBuilder.cpp diff | blob | history
clang/test/Analysis/casts.c diff | blob | history
Domain: System / Toolchain;