]> granicus.if.org Git - clang/commitdiff
Return UnknownVal in RegionStoreManager::getSizeInElements() for unsupported regions...
authorTed Kremenek <kremenek@apple.com>
Tue, 6 Jan 2009 19:12:06 +0000 (19:12 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 6 Jan 2009 19:12:06 +0000 (19:12 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@61818 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/RegionStore.cpp

index 602d6bde1d3553b2bf8857c94df1d24ec2f43a5f..4e0215b997e0427feb758eddac80e1170be84fb2 100644 (file)
@@ -431,6 +431,7 @@ SVal RegionStoreManager::getSizeInElements(const GRState* St,
   }
 
   assert(0 && "Other regions are not supported yet.");
+  return UnknownVal();
 }
 
 /// ArrayToPointer - Emulates the "decay" of an array to a pointer