]> granicus.if.org Git - clang/commit
[analyzer] Use the expression’s type instead of region’s type in ArrayToPointer decay...
authorAnna Zaks <ganna@apple.com>
Tue, 28 May 2013 23:24:01 +0000 (23:24 +0000)
committerAnna Zaks <ganna@apple.com>
Tue, 28 May 2013 23:24:01 +0000 (23:24 +0000)
commit7f1fd2f182717d5ce6cde60398128910c90f98be
tree9d608ee849213c464be295eba4fa60a0fc11be9f
parent3056439bb175db8c46b89fb4385de8b3a8e42d0d
[analyzer] Use the expression’s type instead of region’s type in ArrayToPointer decay evaluation

This gives slightly better precision, specifically, in cases where a non-typed region represents the array
or when the type is a non-array type, which can happen when an array is a result of a reinterpret_cast.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@182810 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
include/clang/StaticAnalyzer/Core/PathSensitive/Store.h
lib/StaticAnalyzer/Core/RegionStore.cpp
lib/StaticAnalyzer/Core/SValBuilder.cpp
test/Analysis/reference.cpp