diff options
| author | Jordy Rose <jediknil@belkadan.com> | 2010-07-05 00:50:15 +0000 |
|---|---|---|
| committer | Jordy Rose <jediknil@belkadan.com> | 2010-07-05 00:50:15 +0000 |
| commit | 52e04c537633377fb14cfa4fa3c95e3e510fc942 (patch) | |
| tree | 472147ac0856bf4cabfbd895624cebceb02c0433 /lib/Checker/MemRegion.cpp | |
| parent | 400f5125e2432d648f2c8a31b36a7f318a880c47 (diff) | |
Track extents for VLAs.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@107603 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/MemRegion.cpp')
| -rw-r--r-- | lib/Checker/MemRegion.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/Checker/MemRegion.cpp b/lib/Checker/MemRegion.cpp index 6a60a61bfa..b0e57fd251 100644 --- a/lib/Checker/MemRegion.cpp +++ b/lib/Checker/MemRegion.cpp @@ -179,8 +179,9 @@ DefinedOrUnknownSVal DeclRegion::getExtent(ValueManager& ValMgr) const { ASTContext& Ctx = ValMgr.getContext(); QualType T = getDesugaredValueType(Ctx); - // FIXME: Handle variable-length arrays. - if (isa<VariableArrayType>(T) || isa<IncompleteArrayType>(T)) + if (isa<VariableArrayType>(T)) + return nonloc::SymbolVal(ValMgr.getSymbolManager().getExtentSymbol(this)); + if (isa<IncompleteArrayType>(T)) return UnknownVal(); CharUnits Size = Ctx.getTypeSizeInChars(T); |