]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef95aea) | 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)
commitbeca02fc66db76eacdaced9df3bc79530c064842
treed570c49ef421fe4d61da8dcfd8b7f5090ff27f9ctree | snapshot
parentef95aea4fe779730de23ac84536cfd135b13a4b4commit | diff
[analyzer] Teach the analyzer to use a symbol for p when evaluating
(void*)p.

Addresses the false positives similar to the test case.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@174436 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/SValBuilder.cpp diff | blob | history
test/Analysis/casts.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.