diff options
| -rw-r--r-- | lib/StaticAnalyzer/Core/RegionStore.cpp | 11 | ||||
| -rw-r--r-- | test/Analysis/region-store.c | 23 |
2 files changed, 33 insertions, 1 deletions
diff --git a/lib/StaticAnalyzer/Core/RegionStore.cpp b/lib/StaticAnalyzer/Core/RegionStore.cpp index 8b1371d28f..487327e7fc 100644 --- a/lib/StaticAnalyzer/Core/RegionStore.cpp +++ b/lib/StaticAnalyzer/Core/RegionStore.cpp @@ -1152,7 +1152,16 @@ RegionStoreManager::GetLazyBinding(RegionBindings B, const MemRegion *R, } SVal RegionStoreManager::getBindingForElement(Store store, - const ElementRegion* R) { + const ElementRegion* R) { + // We do not currently model bindings of the CompoundLiteralregion. + const ElementRegion *Tmp = R; + while (Tmp) { + const MemRegion *Sup = Tmp->getSuperRegion(); + if (isa<CompoundLiteralRegion>(Sup)) + return UnknownVal(); + Tmp = dyn_cast<ElementRegion>(Sup); + } + // Check if the region has a binding. RegionBindings B = GetRegionBindings(store); if (const Optional<SVal> &V = getDirectBinding(B, R)) diff --git a/test/Analysis/region-store.c b/test/Analysis/region-store.c new file mode 100644 index 0000000000..09c3f102e3 --- /dev/null +++ b/test/Analysis/region-store.c @@ -0,0 +1,23 @@ +// RUN: %clang_cc1 -analyze -analyzer-checker=core,unix -verify %s + +int printf(const char *restrict,...); + +// Testing core functionality of the region store. +// radar://10127782 +int compoundLiteralTest() { + int index = 0; + for (index = 0; index < 2; index++) { + int thing = (int []){0, 1}[index]; + printf("thing: %i\n", thing); + } + return 0; +} + +int compoundLiteralTest2() { + int index = 0; + for (index = 0; index < 3; index++) { + int thing = (int [][3]){{0,0,0}, {1,1,1}, {2,2,2}}[index][index]; + printf("thing: %i\n", thing); + } + return 0; +} |