]> granicus.if.org Git - clang/commit
[analyzer] Do not believe lazy binding when symbolic region types do not match
authorAnna Zaks <ganna@apple.com>
Tue, 19 Mar 2013 22:38:09 +0000 (22:38 +0000)
committerAnna Zaks <ganna@apple.com>
Tue, 19 Mar 2013 22:38:09 +0000 (22:38 +0000)
commit9f3495aeaa24da4eacf8f6c274adcef65e2f3617
treeec1bba9529f75f44ffc3fae681c24d147a71b0e4
parent6e65e1047f861d4db87ad0154c171ac66d53b649
[analyzer] Do not believe lazy binding when symbolic region types do not match

This fixes a crash when analyzing LLVM that was exposed by r177220 (modeling of
trivial copy/move assignment operators).

When we look up a lazy binding for “Builder”, we see the direct binding of Loc at offset 0.
Previously, we believed the binding, which led to a crash. Now, we do not believe it as
the types do not match.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@177453 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/RegionStore.cpp
test/Analysis/region-store.cpp [new file with mode: 0644]
test/Analysis/uninit-vals.m