]> granicus.if.org Git - clang/commitdiff
SymbolicRegions really have unknown sizes.
authorZhongxing Xu <xuzhongxing@gmail.com>
Fri, 6 Feb 2009 08:51:30 +0000 (08:51 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Fri, 6 Feb 2009 08:51:30 +0000 (08:51 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@63929 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/RegionStore.cpp

index 93b55255d58c2e3c66d98249195782a26848d4f6..66aabcb49edd44efbf40f819ccc20e79d40f7c5a 100644 (file)
@@ -481,9 +481,7 @@ SVal RegionStoreManager::getSizeInElements(const GRState* St,
     return UnknownVal();
   }
 
-  if (const SymbolicRegion* SR = dyn_cast<SymbolicRegion>(R)) {
-    // FIXME: Unsupported yet.
-    SR = 0;
+  if (isa<SymbolicRegion>(R)) {
     return UnknownVal();
   }