Return UnknownVal in RegionStoreManager::getSizeInElements() for unsupported regions. This silences a warning when compiling Release-Asserts builds.

llvm-svn: 61818
This commit is contained in:
Ted Kremenek 2009-01-06 19:12:06 +00:00
parent 6e7ecc84c8
commit 47ad37dbe4
1 changed files with 1 additions and 0 deletions

View 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