diff options
author | Ted Kremenek <kremenek@apple.com> | 2011-08-12 23:37:29 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2011-08-12 23:37:29 +0000 |
commit | 9c378f705405d37f49795d5e915989de774fe11f (patch) | |
tree | 22c5b5a83754bc74fdc5b45f842dd69d0f7af752 /lib/StaticAnalyzer/Core/GRState.cpp | |
parent | a40b7f2c4a968a0f35f088cd009d671389b09ac2 (diff) |
Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@137537 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/GRState.cpp')
-rw-r--r-- | lib/StaticAnalyzer/Core/GRState.cpp | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/lib/StaticAnalyzer/Core/GRState.cpp b/lib/StaticAnalyzer/Core/GRState.cpp index 525b7c7baa..bf6ec19ae8 100644 --- a/lib/StaticAnalyzer/Core/GRState.cpp +++ b/lib/StaticAnalyzer/Core/GRState.cpp @@ -35,7 +35,7 @@ GRState::GRState(GRStateManager *mgr, const Environment& env, stateMgr->getStoreManager().incrementReferenceCount(store); } -GRState::GRState(const GRState& RHS) +GRState::GRState(const GRState &RHS) : llvm::FoldingSetNode(), stateMgr(RHS.stateMgr), Env(RHS.Env), @@ -61,7 +61,7 @@ GRStateManager::~GRStateManager() { } const GRState* -GRStateManager::removeDeadBindings(const GRState* state, +GRStateManager::removeDeadBindings(const GRState *state, const StackFrameContext *LCtx, SymbolReaper& SymReaper) { @@ -95,7 +95,7 @@ const GRState *GRStateManager::MarshalState(const GRState *state, return getPersistentState(State); } -const GRState *GRState::bindCompoundLiteral(const CompoundLiteralExpr* CL, +const GRState *GRState::bindCompoundLiteral(const CompoundLiteralExpr *CL, const LocationContext *LC, SVal V) const { const StoreRef &newStore = @@ -246,7 +246,7 @@ SVal GRState::getSVal(Loc location, QualType T) const { return V; } -const GRState *GRState::BindExpr(const Stmt* S, SVal V, bool Invalidate) const{ +const GRState *GRState::BindExpr(const Stmt *S, SVal V, bool Invalidate) const{ Environment NewEnv = getStateManager().EnvMgr.bindExpr(Env, S, V, Invalidate); if (NewEnv == Env) @@ -315,7 +315,7 @@ const GRState *GRState::assumeInBound(DefinedOrUnknownSVal Idx, return CM.assume(this, cast<DefinedSVal>(inBound), Assumption); } -const GRState* GRStateManager::getInitialState(const LocationContext *InitLoc) { +const GRState *GRStateManager::getInitialState(const LocationContext *InitLoc) { GRState State(this, EnvMgr.getInitialEnvironment(), StoreMgr->getInitialStore(InitLoc), @@ -337,7 +337,7 @@ void GRStateManager::recycleUnusedStates() { recentlyAllocatedStates.clear(); } -const GRState* GRStateManager::getPersistentStateWithGDM( +const GRState *GRStateManager::getPersistentStateWithGDM( const GRState *FromState, const GRState *GDMState) { GRState NewState = *FromState; @@ -345,13 +345,13 @@ const GRState* GRStateManager::getPersistentStateWithGDM( return getPersistentState(NewState); } -const GRState* GRStateManager::getPersistentState(GRState& State) { +const GRState *GRStateManager::getPersistentState(GRState &State) { llvm::FoldingSetNodeID ID; State.Profile(ID); - void* InsertPos; + void *InsertPos; - if (GRState* I = StateSet.FindNodeOrInsertPos(ID, InsertPos)) + if (GRState *I = StateSet.FindNodeOrInsertPos(ID, InsertPos)) return I; GRState *newState = 0; @@ -368,7 +368,7 @@ const GRState* GRStateManager::getPersistentState(GRState& State) { return newState; } -const GRState* GRState::makeWithStore(const StoreRef &store) const { +const GRState *GRState::makeWithStore(const StoreRef &store) const { GRState NewSt = *this; NewSt.setStore(store); return getStateManager().getPersistentState(NewSt); @@ -392,7 +392,7 @@ static bool IsEnvLoc(const Stmt *S) { return (bool) (((uintptr_t) S) & 0x1); } -void GRState::print(raw_ostream& Out, CFG &C, const char* nl, +void GRState::print(raw_ostream &Out, CFG &C, const char* nl, const char* sep) const { // Print the store. GRStateManager &Mgr = getStateManager(); @@ -467,7 +467,7 @@ void GRState::print(raw_ostream& Out, CFG &C, const char* nl, } } -void GRState::printDOT(raw_ostream& Out, CFG &C) const { +void GRState::printDOT(raw_ostream &Out, CFG &C) const { print(Out, C, "\\l", "\\|"); } @@ -479,13 +479,13 @@ void GRState::printStdErr(CFG &C) const { // Generic Data Map. //===----------------------------------------------------------------------===// -void* const* GRState::FindGDM(void* K) const { +void *const* GRState::FindGDM(void *K) const { return GDM.lookup(K); } void* -GRStateManager::FindGDMContext(void* K, - void* (*CreateContext)(llvm::BumpPtrAllocator&), +GRStateManager::FindGDMContext(void *K, + void *(*CreateContext)(llvm::BumpPtrAllocator&), void (*DeleteContext)(void*)) { std::pair<void*, void (*)(void*)>& p = GDMContexts[K]; @@ -497,7 +497,7 @@ GRStateManager::FindGDMContext(void* K, return p.first; } -const GRState* GRStateManager::addGDM(const GRState* St, void* Key, void* Data){ +const GRState *GRStateManager::addGDM(const GRState *St, void *Key, void *Data){ GRState::GenericDataMap M1 = St->getGDM(); GRState::GenericDataMap M2 = GDMFactory.add(M1, Key, Data); |