commit e6b999bf9a11597dd38273efa99044994f300a47
author Jordy Rose <jediknil@belkadan.com> Mon Jul 05 00:50:15 2010 +0000
committer Jordy Rose <jediknil@belkadan.com> Mon Jul 05 00:50:15 2010 +0000
tree aa9c06f40eb73cf47c84839cbfbb4d0a34a29dd1
parent ac0a210789596a16d7a0b59ec57f875fdc0c3228

Track extents for VLAs.

llvm-svn: 107603

clang/lib/Checker/MemRegion.cpp

diff --git a/clang/lib/Checker/MemRegion.cpp b/clang/lib/Checker/MemRegion.cpp
index 6a60a61..b0e57fd 100644
--- a/clang/lib/Checker/MemRegion.cpp
+++ b/clang/lib/Checker/MemRegion.cpp
@@ -179,8 +179,9 @@
   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);