commit 52e04c537633377fb14cfa4fa3c95e3e510fc942
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 472147ac0856bf4cabfbd895624cebceb02c0433
parent 400f5125e2432d648f2c8a31b36a7f318a880c47

Track extents for VLAs.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@107603 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Checker/MemRegion.cpp

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