summaryrefslogtreecommitdiffstats
path: root/clang/lib
diff options
context:
space:
mode:
Diffstat (limited to 'clang/lib')
-rw-r--r--clang/lib/Analysis/RegionStore.cpp2
1 files changed, 2 insertions, 0 deletions
diff --git a/clang/lib/Analysis/RegionStore.cpp b/clang/lib/Analysis/RegionStore.cpp
index 427c2318001..4b598a384f3 100644
--- a/clang/lib/Analysis/RegionStore.cpp
+++ b/clang/lib/Analysis/RegionStore.cpp
@@ -1171,6 +1171,8 @@ RegionStoreManager::BindStruct(const GRState *state, const TypedRegion* R,
// There may be fewer values than fields only when we are initializing a
// struct decl. In this case, mark the region as having default value.
if (VI == VE) {
+ // FIXME: We should bind signed/unsigned 0 according to the sign of the
+ // field type.
const NonLoc& Idx = NonLoc::MakeIntVal(getBasicVals(), 0, false);
state = state->set<RegionDefaultValue>(R, Idx);
break;
OpenPOWER on IntegriCloud