diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp
index 602d6bd..4e0215b 100644
--- a/lib/Analysis/RegionStore.cpp
+++ b/lib/Analysis/RegionStore.cpp
@@ -431,6 +431,7 @@
   }
 
   assert(0 && "Other regions are not supported yet.");
+  return UnknownVal();
 }
 
 /// ArrayToPointer - Emulates the "decay" of an array to a pointer