Initial support for checking out of bound memory access. Only support
ConcreteInt index for now.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@59869 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp
index 6f632f4..cc7715a 100644
--- a/lib/Analysis/RegionStore.cpp
+++ b/lib/Analysis/RegionStore.cpp
@@ -80,6 +80,8 @@
SVal getLValueElement(const GRState* St, SVal Base, SVal Offset);
+ SVal getSizeInElements(const GRState* St, const MemRegion* R);
+
SVal ArrayToPointer(SVal Array);
std::pair<const GRState*, SVal>
@@ -257,6 +259,40 @@
return UnknownVal();
}
+SVal RegionStoreManager::getSizeInElements(const GRState* St,
+ const MemRegion* R) {
+ if (const VarRegion* VR = dyn_cast<VarRegion>(R)) {
+ // Get the type of the variable.
+ QualType T = VR->getType(getContext());
+
+ // It must be of array type.
+ const ConstantArrayType* CAT = cast<ConstantArrayType>(T.getTypePtr());
+
+ // return the size as signed integer.
+ return NonLoc::MakeVal(getBasicVals(), CAT->getSize(), false);
+ }
+
+ if (const StringRegion* SR = dyn_cast<StringRegion>(R)) {
+ // FIXME: Unsupported yet.
+ SR = 0;
+ return UnknownVal();
+ }
+
+ if (const AnonTypedRegion* ATR = dyn_cast<AnonTypedRegion>(R)) {
+ // FIXME: Unsupported yet.
+ ATR = 0;
+ return UnknownVal();
+ }
+
+ if (const FieldRegion* FR = dyn_cast<FieldRegion>(R)) {
+ // FIXME: Unsupported yet.
+ FR = 0;
+ return UnknownVal();
+ }
+ printf("kidn = %d\n", R->getKind());
+ assert(0 && "Other regions are not supported yet.");
+}
+
// Cast 'pointer to array' to 'pointer to the first element of array'.
SVal RegionStoreManager::ArrayToPointer(SVal Array) {