SymbolicRegions really have unknown sizes.

llvm-svn: 63929
This commit is contained in:
Zhongxing Xu 2009-02-06 08:51:30 +00:00
parent dec48a50df
commit e42755334c
1 changed files with 1 additions and 3 deletions

View 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();
}