From: Ted Kremenek <kremenek@apple.com>
Date: Tue, 19 Feb 2008 00:29:51 +0000 (+0000)
Subject: Added FIXME for properly handling local arrays using symbolic LValues.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=c2c95b0c42b85db733182be56b4dbcf62262a6eb;p=clang

Added FIXME for properly handling local arrays using symbolic LValues.
For now we just treat their values as "Unknown."


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

diff --git a/Analysis/GRExprEngine.cpp b/Analysis/GRExprEngine.cpp
index a004dc4908..09ffcd47a5 100644
--- a/Analysis/GRExprEngine.cpp
+++ b/Analysis/GRExprEngine.cpp
@@ -435,6 +435,11 @@ void GRExprEngine::VisitDeclStmt(DeclStmt* DS, GRExprEngine::NodeTy* Pred,
   
   for (const ScopedDecl* D = DS->getDecl(); D; D = D->getNextDeclarator())
     if (const VarDecl* VD = dyn_cast<VarDecl>(D)) {
+      
+      // FIXME: Add support for local arrays.
+      if (VD->getType()->isArrayType())
+        continue;
+      
       const Expr* E = VD->getInit();      
       St = SetValue(St, lval::DeclVal(VD),
                     E ? GetValue(St, E) : UninitializedVal());