[cfe-commits] r46721 - in /cfe/trunk/Analysis: GRConstants.cpp ValueState.h
Ted Kremenek
kremenek at apple.com
Mon Feb 4 13:59:03 PST 2008
Author: kremenek
Date: Mon Feb 4 15:59:01 2008
New Revision: 46721
URL: http://llvm.org/viewvc/llvm-project?rev=46721&view=rev
Log:
Created ValueStateManager, a full-blown class to manage the states
created for GRConstants. Moved instances of ValueManager and SymbolManager
inside this class. The goal is to gradually separate more of the state
management from the state transformation.
Modified:
cfe/trunk/Analysis/GRConstants.cpp
cfe/trunk/Analysis/ValueState.h
Modified: cfe/trunk/Analysis/GRConstants.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/Analysis/GRConstants.cpp?rev=46721&r1=46720&r2=46721&view=diff
==============================================================================
--- cfe/trunk/Analysis/GRConstants.cpp (original)
+++ cfe/trunk/Analysis/GRConstants.cpp Mon Feb 4 15:59:01 2008
@@ -63,7 +63,7 @@
class VISIBILITY_HIDDEN GRConstants {
public:
- typedef ValueState StateTy;
+ typedef ValueStateManager::StateTy StateTy;
typedef GRStmtNodeBuilder<GRConstants> StmtNodeBuilder;
typedef GRBranchNodeBuilder<GRConstants> BranchNodeBuilder;
typedef ExplodedGraph<GRConstants> GraphTy;
@@ -105,13 +105,13 @@
StmtNodeBuilder* Builder;
/// StateMgr - Object that manages the data for all created states.
- StateTy::Factory StateMgr;
+ ValueStateManager StateMgr;
/// ValueMgr - Object that manages the data for all created RValues.
- ValueManager ValMgr;
+ ValueManager& ValMgr;
/// SymMgr - Object that manages the symbol information.
- SymbolManager SymMgr;
+ SymbolManager& SymMgr;
/// StmtEntryNode - The immediate predecessor node.
NodeTy* StmtEntryNode;
@@ -130,8 +130,11 @@
public:
GRConstants(GraphTy& g) : G(g), Liveness(G.getCFG(), G.getFunctionDecl()),
- Builder(NULL), ValMgr(G.getContext()), StmtEntryNode(NULL),
- CurrentStmt(NULL) {
+ Builder(NULL),
+ StateMgr(G.getContext()),
+ ValMgr(StateMgr.getValueManager()),
+ SymMgr(StateMgr.getSymbolManager()),
+ StmtEntryNode(NULL), CurrentStmt(NULL) {
// Compute liveness information.
Liveness.runOnCFG(G.getCFG());
@@ -144,7 +147,7 @@
/// getInitialState - Return the initial state used for the root vertex
/// in the ExplodedGraph.
StateTy getInitialState() {
- StateTy St = StateMgr.GetEmptyMap();
+ StateTy St = StateMgr.getInitialState();
// Iterate the parameters.
FunctionDecl& F = G.getFunctionDecl();
@@ -174,7 +177,7 @@
/// mappings removed.
StateTy RemoveDeadBindings(Stmt* S, StateTy M);
- StateTy SetValue(StateTy St, Stmt* S, const RValue& V);
+ StateTy SetValue(StateTy St, Stmt* S, const RValue& V);
StateTy SetValue(StateTy St, const Stmt* S, const RValue& V) {
return SetValue(St, const_cast<Stmt*>(S), V);
@@ -182,13 +185,21 @@
StateTy SetValue(StateTy St, const LValue& LV, const RValue& V);
- RValue GetValue(const StateTy& St, Stmt* S);
+ inline RValue GetValue(const StateTy& St, Stmt* S) {
+ return StateMgr.GetValue(St, S);
+ }
+
inline RValue GetValue(const StateTy& St, const Stmt* S) {
return GetValue(St, const_cast<Stmt*>(S));
}
- RValue GetValue(const StateTy& St, const LValue& LV);
- LValue GetLValue(const StateTy& St, Stmt* S);
+ inline RValue GetValue(const StateTy& St, const LValue& LV) {
+ return StateMgr.GetValue(St, LV);
+ }
+
+ inline LValue GetLValue(const StateTy& St, Stmt* S) {
+ return StateMgr.GetLValue(St, S);
+ }
/// Assume - Create new state by assuming that a given expression
/// is true or false.
@@ -224,6 +235,40 @@
} // end anonymous namespace
+GRConstants::StateTy
+GRConstants::SetValue(StateTy St, Stmt* S, const RValue& V) {
+
+ if (!StateCleaned) {
+ St = RemoveDeadBindings(CurrentStmt, St);
+ StateCleaned = true;
+ }
+
+ bool isBlkExpr = false;
+
+ if (S == CurrentStmt) {
+ isBlkExpr = getCFG().isBlkExpr(S);
+
+ if (!isBlkExpr)
+ return St;
+ }
+
+ return StateMgr.SetValue(St, S, isBlkExpr, V);
+}
+
+GRConstants::StateTy
+GRConstants::SetValue(StateTy St, const LValue& LV, const RValue& V) {
+
+ if (!LV.isValid())
+ return St;
+
+ if (!StateCleaned) {
+ St = RemoveDeadBindings(CurrentStmt, St);
+ StateCleaned = true;
+ }
+
+ return StateMgr.SetValue(St, LV, V);
+}
+
void GRConstants::ProcessBranch(Stmt* Condition, Stmt* Term,
BranchNodeBuilder& builder) {
@@ -298,135 +343,6 @@
Builder = NULL;
}
-
-RValue GRConstants::GetValue(const StateTy& St, const LValue& LV) {
- switch (LV.getSubKind()) {
- case LValueDeclKind: {
- StateTy::TreeTy* T = St.SlimFind(cast<LValueDecl>(LV).getDecl());
- return T ? T->getValue().second : InvalidValue();
- }
- default:
- assert (false && "Invalid LValue.");
- break;
- }
-
- return InvalidValue();
-}
-
-RValue GRConstants::GetValue(const StateTy& St, Stmt* S) {
- for (;;) {
- switch (S->getStmtClass()) {
-
- // ParenExprs are no-ops.
-
- case Stmt::ParenExprClass:
- S = cast<ParenExpr>(S)->getSubExpr();
- continue;
-
- // DeclRefExprs can either evaluate to an LValue or a Non-LValue
- // (assuming an implicit "load") depending on the context. In this
- // context we assume that we are retrieving the value contained
- // within the referenced variables.
-
- case Stmt::DeclRefExprClass:
- return GetValue(St, LValueDecl(cast<DeclRefExpr>(S)->getDecl()));
-
- // Integer literals evaluate to an RValue. Simply retrieve the
- // RValue for the literal.
-
- case Stmt::IntegerLiteralClass:
- return NonLValue::GetValue(ValMgr, cast<IntegerLiteral>(S));
-
- // Casts where the source and target type are the same
- // are no-ops. We blast through these to get the descendant
- // subexpression that has a value.
-
- case Stmt::ImplicitCastExprClass: {
- ImplicitCastExpr* C = cast<ImplicitCastExpr>(S);
- if (C->getType() == C->getSubExpr()->getType()) {
- S = C->getSubExpr();
- continue;
- }
- break;
- }
-
- case Stmt::CastExprClass: {
- CastExpr* C = cast<CastExpr>(S);
- if (C->getType() == C->getSubExpr()->getType()) {
- S = C->getSubExpr();
- continue;
- }
- break;
- }
-
- // Handle all other Stmt* using a lookup.
-
- default:
- break;
- };
-
- break;
- }
-
- StateTy::TreeTy* T = St.SlimFind(S);
-
- return T ? T->getValue().second : InvalidValue();
-}
-
-LValue GRConstants::GetLValue(const StateTy& St, Stmt* S) {
- while (ParenExpr* P = dyn_cast<ParenExpr>(S))
- S = P->getSubExpr();
-
- if (DeclRefExpr* DR = dyn_cast<DeclRefExpr>(S))
- return LValueDecl(DR->getDecl());
-
- return cast<LValue>(GetValue(St, S));
-}
-
-
-GRConstants::StateTy GRConstants::SetValue(StateTy St, Stmt* S,
- const RValue& V) {
- assert (S);
-
- if (!StateCleaned) {
- St = RemoveDeadBindings(CurrentStmt, St);
- StateCleaned = true;
- }
-
- bool isBlkExpr = false;
-
- if (S == CurrentStmt) {
- isBlkExpr = getCFG().isBlkExpr(S);
-
- if (!isBlkExpr)
- return St;
- }
-
- return V.isValid() ? StateMgr.Add(St, ValueKey(S,isBlkExpr), V)
- : St;
-}
-
-GRConstants::StateTy GRConstants::SetValue(StateTy St, const LValue& LV,
- const RValue& V) {
- if (!LV.isValid())
- return St;
-
- if (!StateCleaned) {
- St = RemoveDeadBindings(CurrentStmt, St);
- StateCleaned = true;
- }
-
- switch (LV.getSubKind()) {
- case LValueDeclKind:
- return V.isValid() ? StateMgr.Add(St, cast<LValueDecl>(LV).getDecl(), V)
- : StateMgr.Remove(St, cast<LValueDecl>(LV).getDecl());
-
- default:
- assert ("SetValue for given LValue type not yet implemented.");
- return St;
- }
-}
-
GRConstants::StateTy GRConstants::RemoveDeadBindings(Stmt* Loc, StateTy M) {
// Note: in the code below, we can assign a new map to M since the
// iterators are iterating over the tree of the *original* map.
Modified: cfe/trunk/Analysis/ValueState.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/Analysis/ValueState.h?rev=46721&r1=46720&r2=46721&view=diff
==============================================================================
--- cfe/trunk/Analysis/ValueState.h (original)
+++ cfe/trunk/Analysis/ValueState.h Mon Feb 4 15:59:01 2008
@@ -125,6 +125,42 @@
}
};
+
+class ValueStateManager {
+public:
+ typedef ValueState StateTy;
+
+private:
+ typedef ValueState::Factory FactoryTy;
+ FactoryTy Factory;
+
+ /// ValueMgr - Object that manages the data for all created RValues.
+ ValueManager ValMgr;
+
+ /// SymMgr - Object that manages the symbol information.
+ SymbolManager SymMgr;
+
+public:
+ ValueStateManager(ASTContext& Ctx) : ValMgr(Ctx) {}
+
+ StateTy getInitialState() {
+ return Factory.GetEmptyMap();
+ }
+
+ ValueManager& getValueManager() { return ValMgr; }
+ SymbolManager& getSymbolManager() { return SymMgr; }
+
+ StateTy SetValue(StateTy St, Stmt* S, bool isBlkExpr, const RValue& V);
+ StateTy SetValue(StateTy St, const LValue& LV, const RValue& V);
+
+ RValue GetValue(const StateTy& St, Stmt* S);
+ RValue GetValue(const StateTy& St, const LValue& LV);
+ LValue GetLValue(const StateTy& St, Stmt* S);
+
+ StateTy Remove(StateTy St, ValueKey K);
+
+};
+
} // end clang namespace
//==------------------------------------------------------------------------==//
More information about the cfe-commits
mailing list