commit | 7f1fd2f182717d5ce6cde60398128910c90f98be | [log] [tgz] |
---|---|---|
author | Anna Zaks <ganna@apple.com> | Tue May 28 23:24:01 2013 +0000 |
committer | Anna Zaks <ganna@apple.com> | Tue May 28 23:24:01 2013 +0000 |
tree | 9d608ee849213c464be295eba4fa60a0fc11be9f | |
parent | 3056439bb175db8c46b89fb4385de8b3a8e42d0d [diff] |
[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