commit 23ec48cd3369c8d7d1ab3c3f2226cfcffd2cd3d3
author Ted Kremenek <kremenek@apple.com> Thu Jun 18 23:58:37 2009 +0000
committer Ted Kremenek <kremenek@apple.com> Thu Jun 18 23:58:37 2009 +0000
tree 6d84c8ac6f6a269f440851eb9d552d686c66e7ef
parent f1b8227d758721075e3a84a85e66cb7173334b13

Move clients over from using GRStateManager::BindXXX and friends to
GRState->bindXXX and friends (and constify some arguments along the way).


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

lib/Analysis/Environment.cpp

diff --git a/lib/Analysis/Environment.cpp b/lib/Analysis/Environment.cpp
index 1276cbf..7ada6d8 100644
--- a/lib/Analysis/Environment.cpp
+++ b/lib/Analysis/Environment.cpp
@@ -18,7 +18,7 @@
 
 using namespace clang;
 
-SVal Environment::GetSVal(Stmt* E, BasicValueFactory& BasicVals) const {
+SVal Environment::GetSVal(const Stmt *E, BasicValueFactory& BasicVals) const {
   
   for (;;) {
     
@@ -34,7 +34,7 @@
         continue;
         
       case Stmt::CharacterLiteralClass: {
-        CharacterLiteral* C = cast<CharacterLiteral>(E);
+        const CharacterLiteral* C = cast<CharacterLiteral>(E);
         return NonLoc::MakeVal(BasicVals, C->getValue(), C->getType());
       }
         
@@ -48,7 +48,7 @@
        
       case Stmt::ImplicitCastExprClass:
       case Stmt::CStyleCastExprClass: {
-        CastExpr* C = cast<CastExpr>(E);
+        const CastExpr* C = cast<CastExpr>(E);
         QualType CT = C->getType();
         
         if (CT->isVoidType())
@@ -69,7 +69,8 @@
   return LookupExpr(E);
 }
 
-SVal Environment::GetBlkExprSVal(Stmt* E, BasicValueFactory& BasicVals) const {
+SVal Environment::GetBlkExprSVal(const Stmt *E,
+                                 BasicValueFactory& BasicVals) const {
   
   while (1) {
     switch (E->getStmtClass()) {
@@ -78,7 +79,7 @@
         continue;
         
       case Stmt::CharacterLiteralClass: {
-        CharacterLiteral* C = cast<CharacterLiteral>(E);
+        const CharacterLiteral* C = cast<CharacterLiteral>(E);
         return NonLoc::MakeVal(BasicVals, C->getValue(), C->getType());
       }
         
@@ -92,8 +93,9 @@
   }
 }
 
-Environment EnvironmentManager::BindExpr(const Environment& Env, Stmt* E,SVal V,
-                                         bool isBlkExpr, bool Invalidate) {  
+Environment EnvironmentManager::BindExpr(const Environment& Env, const Stmt* E,
+                                         SVal V, bool isBlkExpr,
+                                         bool Invalidate) {  
   assert (E);
   
   if (V.isUnknown()) {    
@@ -136,7 +138,7 @@
   // Iterate over the block-expr bindings.
   for (Environment::beb_iterator I = Env.beb_begin(), E = Env.beb_end(); 
        I != E; ++I) {
-    Stmt* BlkExpr = I.getKey();
+    const Stmt *BlkExpr = I.getKey();
 
     if (SymReaper.isLive(Loc, BlkExpr)) {
       SVal X = I.getData();