зеркало из https://github.com/microsoft/clang-1.git
Minor cleanups (mainly indentation).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47955 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Родитель
98be4943e8
Коммит
8ecfc85b9b
|
@ -113,7 +113,8 @@ bool GRCoreEngineImpl::ExecuteWorkList(unsigned Steps) {
|
|||
return WList->hasWork();
|
||||
}
|
||||
|
||||
void GRCoreEngineImpl::HandleBlockEdge(const BlockEdge& L, ExplodedNodeImpl* Pred) {
|
||||
void GRCoreEngineImpl::HandleBlockEdge(const BlockEdge& L,
|
||||
ExplodedNodeImpl* Pred) {
|
||||
|
||||
CFGBlock* Blk = L.getDst();
|
||||
|
||||
|
@ -144,7 +145,7 @@ void GRCoreEngineImpl::HandleBlockEdge(const BlockEdge& L, ExplodedNodeImpl* Pre
|
|||
}
|
||||
|
||||
void GRCoreEngineImpl::HandleBlockEntrance(const BlockEntrance& L,
|
||||
ExplodedNodeImpl* Pred) {
|
||||
ExplodedNodeImpl* Pred) {
|
||||
|
||||
// Increment the block counter.
|
||||
GRBlockCounter Counter = WList->getBlockCounter();
|
||||
|
|
|
@ -69,20 +69,6 @@ ValueState* GRExprEngine::SetRVal(ValueState* St, Expr* Ex, RVal V) {
|
|||
return StateMgr.SetRVal(St, Ex, V, isBlkExpr, false);
|
||||
}
|
||||
|
||||
#if 0
|
||||
const ValueState::BufferTy&
|
||||
GRExprEngine::SetRVal(ValueState* St, Expr* Ex, const RVal::BufferTy& RB,
|
||||
ValueState::BufferTy& RetBuf) {
|
||||
|
||||
assert (RetBuf.empty());
|
||||
|
||||
for (RVal::BufferTy::const_iterator I = RB.begin(), E = RB.end(); I!=E; ++I)
|
||||
RetBuf.push_back(SetRVal(St, Ex, *I));
|
||||
|
||||
return RetBuf;
|
||||
}
|
||||
#endif
|
||||
|
||||
ValueState* GRExprEngine::SetRVal(ValueState* St, LVal LV, RVal RV) {
|
||||
|
||||
if (!StateCleaned) {
|
||||
|
|
|
@ -86,7 +86,8 @@ void TransferFuncs::Visit(Stmt *S) {
|
|||
AD.Observer->ObserveStmt(S,AD,LiveState);
|
||||
|
||||
if (S == getCurrentBlkStmt()) {
|
||||
if (getCFG().isBlkExpr(S)) LiveState(S,AD) = Dead;
|
||||
assert (!isa<Expr>(S) || getCFG().isBlkExpr(S));
|
||||
if (isa<Expr>(S)) LiveState(S,AD) = Dead;
|
||||
StmtVisitor<TransferFuncs,void>::Visit(S);
|
||||
}
|
||||
else if (!getCFG().isBlkExpr(S))
|
||||
|
|
Загрузка…
Ссылка в новой задаче