]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 94404b1) | patch
[analyzer] Improve modeling of static initializers.
authorAnna Zaks <ganna@apple.com>
Thu, 19 Nov 2015 01:25:28 +0000 (01:25 +0000)
committerAnna Zaks <ganna@apple.com>
Thu, 19 Nov 2015 01:25:28 +0000 (01:25 +0000)
commit6975f3c2b434551813ddd749f6cae5bc29555de4
tree5cd7aa0a0435109164c7ecaecffa8440d887dc86tree | snapshot
parent94404b1050a9f1d2d27c1262a93828d1ee1ebf89commit | diff
[analyzer] Improve modeling of static initializers.

Conversions between unrelated pointer types (e.g. char * and void *) involve
bitcasts which were not properly modeled in case of static initializers. The
patch fixes this problem.

The problem was originally spotted by Artem Dergachev. Patched by Yuri Gribov!

Differential Revision: http://reviews.llvm.org/D14652

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