[cfe-commits] r47294 - /cfe/trunk/Analysis/GRExprEngine.cpp

[Ted Kremenek]

Author: kremenek
Date: Mon Feb 18 18:29:51 2008
New Revision: 47294

URL: http://llvm.org/viewvc/llvm-project?rev=47294&view=rev
Log:
Added FIXME for properly handling local arrays using symbolic LValues.
For now we just treat their values as "Unknown."

Modified:
    cfe/trunk/Analysis/GRExprEngine.cpp

Modified: cfe/trunk/Analysis/GRExprEngine.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/Analysis/GRExprEngine.cpp?rev=47294&r1=47293&r2=47294&view=diff

==============================================================================
--- cfe/trunk/Analysis/GRExprEngine.cpp (original)
+++ cfe/trunk/Analysis/GRExprEngine.cpp Mon Feb 18 18:29:51 2008
@@ -435,6 +435,11 @@
   
   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());