diff options
| author | Jordy Rose <jediknil@belkadan.com> | 2010-08-20 01:05:59 +0000 |
|---|---|---|
| committer | Jordy Rose <jediknil@belkadan.com> | 2010-08-20 01:05:59 +0000 |
| commit | 796b5122d936a798bbef4c7aae558aca7400a152 (patch) | |
| tree | f730522c4b2aeae004e06df4dab3482adf712d7d /clang/lib/Checker/RegionStore.cpp | |
| parent | d3ee4238a5ecf16f1e871ad13c4b84aa86c9c1f6 (diff) | |
| download | bcm5719-llvm-796b5122d936a798bbef4c7aae558aca7400a152.tar.gz bcm5719-llvm-796b5122d936a798bbef4c7aae558aca7400a152.zip | |
Handle nested compound values in BindArray for multidimensional arrays. Fixes PR7945.
llvm-svn: 111602
Diffstat (limited to 'clang/lib/Checker/RegionStore.cpp')
| -rw-r--r-- | clang/lib/Checker/RegionStore.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/clang/lib/Checker/RegionStore.cpp b/clang/lib/Checker/RegionStore.cpp index d6422ab338f..ab3234774ff 100644 --- a/clang/lib/Checker/RegionStore.cpp +++ b/clang/lib/Checker/RegionStore.cpp @@ -1504,6 +1504,8 @@ Store RegionStoreManager::BindArray(Store store, const TypedRegion* R, if (ElementTy->isStructureOrClassType()) store = BindStruct(store, ER, *VI); + else if (ElementTy->isArrayType()) + store = BindArray(store, ER, *VI); else store = Bind(store, ValMgr.makeLoc(ER), *VI); } |
