From 562c4d90418996c927f43e89250570d9967d6ecc Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Fri, 23 Jan 2009 11:22:12 +0000 Subject: [PATCH] Implement retrieval of the default value of element and field regions. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@62847 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/RegionStore.cpp | 9 +++++++++ test/Analysis/array-struct.c | 8 ++++++++ 2 files changed, 17 insertions(+) diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp index 2e82cc665c..f519d4d1cd 100644 --- a/lib/Analysis/RegionStore.cpp +++ b/lib/Analysis/RegionStore.cpp @@ -576,6 +576,15 @@ SVal RegionStoreManager::Retrieve(const GRState* St, Loc L, QualType T) { if (state.contains(R)) return UnknownVal(); + // If the region is an element of field, it may have a default value. + if (isa(R) || isa(R)) { + const MemRegion* SuperR = cast(R)->getSuperRegion(); + GRStateTrait::lookup_type D = + state.get(SuperR); + if (D) + return *D; + } + // The location does not have a bound value. This means that it has // the value it had upon its creation and/or entry to the analyzed // function/method. These are either symbolic values or 'undefined'. diff --git a/test/Analysis/array-struct.c b/test/Analysis/array-struct.c index 326c2888a0..a8de8245cd 100644 --- a/test/Analysis/array-struct.c +++ b/test/Analysis/array-struct.c @@ -87,3 +87,11 @@ void f10() { char a1[4] = "abc"; char a3[6] = "abc"; } + +// Retrieve the default value of element/field region. +void f11() { + struct s a; + g(&a); + if (a.data == 0) // no-warning + a.data = 1; +} -- 2.50.1