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 | e6b999bf9a11597dd38273efa99044994f300a47 (patch) | |
| tree | aa9c06f40eb73cf47c84839cbfbb4d0a34a29dd1 /clang/lib/Checker/MemRegion.cpp | |
| parent | ac0a210789596a16d7a0b59ec57f875fdc0c3228 (diff) | |
| download | bcm5719-llvm-e6b999bf9a11597dd38273efa99044994f300a47.tar.gz bcm5719-llvm-e6b999bf9a11597dd38273efa99044994f300a47.zip | |
Track extents for VLAs.
llvm-svn: 107603
Diffstat (limited to 'clang/lib/Checker/MemRegion.cpp')
| -rw-r--r-- | clang/lib/Checker/MemRegion.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/clang/lib/Checker/MemRegion.cpp b/clang/lib/Checker/MemRegion.cpp index 6a60a61bfab..b0e57fd251e 100644 --- a/clang/lib/Checker/MemRegion.cpp +++ b/clang/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); |
