Ted Kremenek | aed9b6a | 2008-02-28 10:21:43 +0000 | [diff] [blame] | 1 | //= ValueState*cpp - Path-Sens. "State" for tracking valuues -----*- C++ -*--=// |
Ted Kremenek | 9153f73 | 2008-02-05 07:17:49 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
Gabor Greif | 843e934 | 2008-03-06 10:40:09 +0000 | [diff] [blame] | 10 | // This file defines SymbolID, ExprBindKey, and ValueState* |
Ted Kremenek | 9153f73 | 2008-02-05 07:17:49 +0000 | [diff] [blame] | 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Ted Kremenek | 0f5f059 | 2008-02-27 06:07:00 +0000 | [diff] [blame] | 14 | #include "clang/Analysis/PathSensitive/ValueState.h" |
Ted Kremenek | 90e1481 | 2008-02-14 23:25:54 +0000 | [diff] [blame] | 15 | #include "llvm/ADT/SmallSet.h" |
Ted Kremenek | f66ea2cd | 2008-02-04 21:59:22 +0000 | [diff] [blame] | 16 | |
| 17 | using namespace clang; |
| 18 | |
Ted Kremenek | 862d5bb | 2008-02-06 00:54:14 +0000 | [diff] [blame] | 19 | bool ValueState::isNotEqual(SymbolID sym, const llvm::APSInt& V) const { |
Ted Kremenek | aa1c4e5 | 2008-02-21 18:02:17 +0000 | [diff] [blame] | 20 | |
| 21 | // Retrieve the NE-set associated with the given symbol. |
Ted Kremenek | e8fdc83 | 2008-07-07 16:21:19 +0000 | [diff] [blame] | 22 | const ConstNotEqTy::data_type* T = ConstNotEq.lookup(sym); |
Ted Kremenek | aa1c4e5 | 2008-02-21 18:02:17 +0000 | [diff] [blame] | 23 | |
| 24 | // See if V is present in the NE-set. |
Ted Kremenek | e8fdc83 | 2008-07-07 16:21:19 +0000 | [diff] [blame] | 25 | return T ? T->contains(&V) : false; |
Ted Kremenek | 862d5bb | 2008-02-06 00:54:14 +0000 | [diff] [blame] | 26 | } |
| 27 | |
| 28 | const llvm::APSInt* ValueState::getSymVal(SymbolID sym) const { |
Ted Kremenek | e8fdc83 | 2008-07-07 16:21:19 +0000 | [diff] [blame] | 29 | ConstEqTy::data_type* T = ConstEq.lookup(sym); |
| 30 | return T ? *T : NULL; |
Ted Kremenek | 862d5bb | 2008-02-06 00:54:14 +0000 | [diff] [blame] | 31 | } |
| 32 | |
Ted Kremenek | 4323a57 | 2008-07-10 22:03:41 +0000 | [diff] [blame^] | 33 | const ValueState* |
| 34 | ValueStateManager::RemoveDeadBindings(const ValueState* St, Stmt* Loc, |
Ted Kremenek | 77d7ef8 | 2008-04-24 18:31:42 +0000 | [diff] [blame] | 35 | const LiveVariables& Liveness, |
| 36 | DeadSymbolsTy& DeadSymbols) { |
Ted Kremenek | b87d909 | 2008-02-08 19:17:19 +0000 | [diff] [blame] | 37 | |
| 38 | // This code essentially performs a "mark-and-sweep" of the VariableBindings. |
| 39 | // The roots are any Block-level exprs and Decls that our liveness algorithm |
| 40 | // tells us are live. We then see what Decls they may reference, and keep |
| 41 | // those around. This code more than likely can be made faster, and the |
| 42 | // frequency of which this method is called should be experimented with |
| 43 | // for optimum performance. |
| 44 | |
| 45 | llvm::SmallVector<ValueDecl*, 10> WList; |
Ted Kremenek | 90e1481 | 2008-02-14 23:25:54 +0000 | [diff] [blame] | 46 | llvm::SmallPtrSet<ValueDecl*, 10> Marked; |
| 47 | llvm::SmallSet<SymbolID, 20> MarkedSymbols; |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 48 | |
Ted Kremenek | aed9b6a | 2008-02-28 10:21:43 +0000 | [diff] [blame] | 49 | ValueState NewSt = *St; |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 50 | |
| 51 | // Drop bindings for subexpressions. |
Ted Kremenek | 8133a26 | 2008-07-08 21:46:56 +0000 | [diff] [blame] | 52 | NewSt.Env = EnvMgr.RemoveSubExprBindings(NewSt.Env); |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 53 | |
| 54 | // Iterate over the block-expr bindings. |
Ted Kremenek | aa1c4e5 | 2008-02-21 18:02:17 +0000 | [diff] [blame] | 55 | |
Ted Kremenek | aed9b6a | 2008-02-28 10:21:43 +0000 | [diff] [blame] | 56 | for (ValueState::beb_iterator I = St->beb_begin(), E = St->beb_end(); |
Ted Kremenek | aa1c4e5 | 2008-02-21 18:02:17 +0000 | [diff] [blame] | 57 | I!=E ; ++I) { |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 58 | Expr* BlkExpr = I.getKey(); |
Ted Kremenek | b87d909 | 2008-02-08 19:17:19 +0000 | [diff] [blame] | 59 | |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 60 | if (Liveness.isLive(Loc, BlkExpr)) { |
Ted Kremenek | aa1c4e5 | 2008-02-21 18:02:17 +0000 | [diff] [blame] | 61 | RVal X = I.getData(); |
Ted Kremenek | 90e1481 | 2008-02-14 23:25:54 +0000 | [diff] [blame] | 62 | |
| 63 | if (isa<lval::DeclVal>(X)) { |
| 64 | lval::DeclVal LV = cast<lval::DeclVal>(X); |
Ted Kremenek | 016f52f | 2008-02-08 21:10:02 +0000 | [diff] [blame] | 65 | WList.push_back(LV.getDecl()); |
Ted Kremenek | b87d909 | 2008-02-08 19:17:19 +0000 | [diff] [blame] | 66 | } |
Ted Kremenek | 90e1481 | 2008-02-14 23:25:54 +0000 | [diff] [blame] | 67 | |
Ted Kremenek | aa1c4e5 | 2008-02-21 18:02:17 +0000 | [diff] [blame] | 68 | for (RVal::symbol_iterator SI = X.symbol_begin(), SE = X.symbol_end(); |
| 69 | SI != SE; ++SI) { |
| 70 | MarkedSymbols.insert(*SI); |
| 71 | } |
Ted Kremenek | b87d909 | 2008-02-08 19:17:19 +0000 | [diff] [blame] | 72 | } |
Ted Kremenek | 05a2378 | 2008-02-26 19:05:15 +0000 | [diff] [blame] | 73 | else { |
| 74 | RVal X = I.getData(); |
| 75 | |
Ted Kremenek | 4a4e524 | 2008-02-28 09:25:22 +0000 | [diff] [blame] | 76 | if (X.isUndef() && cast<UndefinedVal>(X).getData()) |
Ted Kremenek | 05a2378 | 2008-02-26 19:05:15 +0000 | [diff] [blame] | 77 | continue; |
| 78 | |
Ted Kremenek | 8133a26 | 2008-07-08 21:46:56 +0000 | [diff] [blame] | 79 | NewSt.Env = EnvMgr.RemoveBlkExpr(NewSt.Env, BlkExpr); |
Ted Kremenek | 05a2378 | 2008-02-26 19:05:15 +0000 | [diff] [blame] | 80 | } |
Ted Kremenek | b87d909 | 2008-02-08 19:17:19 +0000 | [diff] [blame] | 81 | } |
Ted Kremenek | 016f52f | 2008-02-08 21:10:02 +0000 | [diff] [blame] | 82 | |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 83 | // Iterate over the variable bindings. |
Ted Kremenek | aa1c4e5 | 2008-02-21 18:02:17 +0000 | [diff] [blame] | 84 | |
Ted Kremenek | aed9b6a | 2008-02-28 10:21:43 +0000 | [diff] [blame] | 85 | for (ValueState::vb_iterator I = St->vb_begin(), E = St->vb_end(); I!=E ; ++I) |
Ted Kremenek | d763eb9 | 2008-02-26 02:15:56 +0000 | [diff] [blame] | 86 | if (Liveness.isLive(Loc, I.getKey())) { |
Ted Kremenek | 016f52f | 2008-02-08 21:10:02 +0000 | [diff] [blame] | 87 | WList.push_back(I.getKey()); |
Ted Kremenek | d763eb9 | 2008-02-26 02:15:56 +0000 | [diff] [blame] | 88 | |
| 89 | RVal X = I.getData(); |
| 90 | |
| 91 | for (RVal::symbol_iterator SI = X.symbol_begin(), SE = X.symbol_end(); |
| 92 | SI != SE; ++SI) { |
| 93 | MarkedSymbols.insert(*SI); |
| 94 | } |
| 95 | } |
Ted Kremenek | 90e1481 | 2008-02-14 23:25:54 +0000 | [diff] [blame] | 96 | |
Ted Kremenek | aa1c4e5 | 2008-02-21 18:02:17 +0000 | [diff] [blame] | 97 | // Perform the mark-and-sweep. |
| 98 | |
Ted Kremenek | b87d909 | 2008-02-08 19:17:19 +0000 | [diff] [blame] | 99 | while (!WList.empty()) { |
Ted Kremenek | aa1c4e5 | 2008-02-21 18:02:17 +0000 | [diff] [blame] | 100 | |
Ted Kremenek | b87d909 | 2008-02-08 19:17:19 +0000 | [diff] [blame] | 101 | ValueDecl* V = WList.back(); |
| 102 | WList.pop_back(); |
| 103 | |
| 104 | if (Marked.count(V)) |
| 105 | continue; |
| 106 | |
| 107 | Marked.insert(V); |
| 108 | |
Ted Kremenek | ad87d25 | 2008-04-29 23:58:03 +0000 | [diff] [blame] | 109 | RVal X = GetRVal(St, lval::DeclVal(cast<VarDecl>(V))); |
Ted Kremenek | c3055ab | 2008-02-21 19:30:14 +0000 | [diff] [blame] | 110 | |
Ted Kremenek | ad87d25 | 2008-04-29 23:58:03 +0000 | [diff] [blame] | 111 | for (RVal::symbol_iterator SI = X.symbol_begin(), SE = X.symbol_end(); |
| 112 | SI != SE; ++SI) { |
| 113 | MarkedSymbols.insert(*SI); |
| 114 | } |
Ted Kremenek | c3055ab | 2008-02-21 19:30:14 +0000 | [diff] [blame] | 115 | |
Ted Kremenek | ad87d25 | 2008-04-29 23:58:03 +0000 | [diff] [blame] | 116 | if (!isa<lval::DeclVal>(X)) |
| 117 | continue; |
Ted Kremenek | c3055ab | 2008-02-21 19:30:14 +0000 | [diff] [blame] | 118 | |
Ted Kremenek | ad87d25 | 2008-04-29 23:58:03 +0000 | [diff] [blame] | 119 | const lval::DeclVal& LVD = cast<lval::DeclVal>(X); |
| 120 | WList.push_back(LVD.getDecl()); |
Ted Kremenek | b87d909 | 2008-02-08 19:17:19 +0000 | [diff] [blame] | 121 | } |
| 122 | |
Ted Kremenek | 90e1481 | 2008-02-14 23:25:54 +0000 | [diff] [blame] | 123 | // Remove dead variable bindings. |
Ted Kremenek | 90e1481 | 2008-02-14 23:25:54 +0000 | [diff] [blame] | 124 | |
Ted Kremenek | 77d7ef8 | 2008-04-24 18:31:42 +0000 | [diff] [blame] | 125 | DeadSymbols.clear(); |
| 126 | |
Ted Kremenek | 910e999 | 2008-04-25 01:25:15 +0000 | [diff] [blame] | 127 | for (ValueState::vb_iterator I = St->vb_begin(), E = St->vb_end(); I!=E ; ++I) |
| 128 | if (!Marked.count(I.getKey())) { |
Ted Kremenek | 4323a57 | 2008-07-10 22:03:41 +0000 | [diff] [blame^] | 129 | NewSt.St = StMgr->Remove(NewSt.St, lval::DeclVal(I.getKey())); |
Ted Kremenek | 910e999 | 2008-04-25 01:25:15 +0000 | [diff] [blame] | 130 | |
| 131 | RVal X = I.getData(); |
| 132 | |
| 133 | for (RVal::symbol_iterator SI = X.symbol_begin(), SE = X.symbol_end(); |
| 134 | SI != SE; ++SI) |
| 135 | if (!MarkedSymbols.count(*SI)) DeadSymbols.insert(*SI); |
| 136 | } |
| 137 | |
| 138 | // Remove dead symbols. |
| 139 | |
Ted Kremenek | 77d7ef8 | 2008-04-24 18:31:42 +0000 | [diff] [blame] | 140 | for (ValueState::ce_iterator I = St->ce_begin(), E=St->ce_end(); I!=E; ++I) { |
| 141 | |
| 142 | SymbolID sym = I.getKey(); |
| 143 | |
| 144 | if (!MarkedSymbols.count(sym)) { |
| 145 | DeadSymbols.insert(sym); |
| 146 | NewSt.ConstEq = CEFactory.Remove(NewSt.ConstEq, sym); |
| 147 | } |
| 148 | } |
| 149 | |
| 150 | for (ValueState::cne_iterator I = St->cne_begin(), E=St->cne_end(); I!=E;++I){ |
| 151 | |
| 152 | SymbolID sym = I.getKey(); |
| 153 | |
| 154 | if (!MarkedSymbols.count(sym)) { |
| 155 | DeadSymbols.insert(sym); |
| 156 | NewSt.ConstNotEq = CNEFactory.Remove(NewSt.ConstNotEq, sym); |
| 157 | } |
| 158 | } |
Ted Kremenek | 90e1481 | 2008-02-14 23:25:54 +0000 | [diff] [blame] | 159 | |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 160 | return getPersistentState(NewSt); |
Ted Kremenek | b87d909 | 2008-02-08 19:17:19 +0000 | [diff] [blame] | 161 | } |
Ted Kremenek | 862d5bb | 2008-02-06 00:54:14 +0000 | [diff] [blame] | 162 | |
Ted Kremenek | 4323a57 | 2008-07-10 22:03:41 +0000 | [diff] [blame^] | 163 | const ValueState* ValueStateManager::SetRVal(const ValueState* St, LVal LV, |
| 164 | RVal V) { |
Ted Kremenek | aa1c4e5 | 2008-02-21 18:02:17 +0000 | [diff] [blame] | 165 | |
Ted Kremenek | 4323a57 | 2008-07-10 22:03:41 +0000 | [diff] [blame^] | 166 | Store OldStore = St->getStore(); |
| 167 | Store NewStore = StMgr->SetRVal(OldStore, LV, V); |
Ted Kremenek | 3271f8d | 2008-02-07 04:16:04 +0000 | [diff] [blame] | 168 | |
Ted Kremenek | 4323a57 | 2008-07-10 22:03:41 +0000 | [diff] [blame^] | 169 | if (NewStore == OldStore) |
| 170 | return St; |
Ted Kremenek | 692416c | 2008-02-18 22:57:02 +0000 | [diff] [blame] | 171 | |
Ted Kremenek | 4323a57 | 2008-07-10 22:03:41 +0000 | [diff] [blame^] | 172 | ValueState NewSt = *St; |
| 173 | NewSt.St = NewStore; |
| 174 | return getPersistentState(NewSt); |
Ted Kremenek | f66ea2cd | 2008-02-04 21:59:22 +0000 | [diff] [blame] | 175 | } |
| 176 | |
Ted Kremenek | 4323a57 | 2008-07-10 22:03:41 +0000 | [diff] [blame^] | 177 | const ValueState* ValueStateManager::Unbind(const ValueState* St, LVal LV) { |
| 178 | Store OldStore = St->getStore(); |
| 179 | Store NewStore = StMgr->Remove(OldStore, LV); |
| 180 | |
| 181 | if (NewStore == OldStore) |
| 182 | return St; |
| 183 | |
| 184 | ValueState NewSt = *St; |
| 185 | NewSt.St = NewStore; |
| 186 | return getPersistentState(NewSt); |
| 187 | } |
| 188 | |
| 189 | |
| 190 | const ValueState* ValueStateManager::AddNE(const ValueState* St, SymbolID sym, |
| 191 | const llvm::APSInt& V) { |
Ted Kremenek | aa1c4e5 | 2008-02-21 18:02:17 +0000 | [diff] [blame] | 192 | |
Ted Kremenek | 862d5bb | 2008-02-06 00:54:14 +0000 | [diff] [blame] | 193 | // First, retrieve the NE-set associated with the given symbol. |
Ted Kremenek | e8fdc83 | 2008-07-07 16:21:19 +0000 | [diff] [blame] | 194 | ValueState::ConstNotEqTy::data_type* T = St->ConstNotEq.lookup(sym); |
| 195 | ValueState::IntSetTy S = T ? *T : ISetFactory.GetEmptySet(); |
Ted Kremenek | 862d5bb | 2008-02-06 00:54:14 +0000 | [diff] [blame] | 196 | |
Ted Kremenek | aa1c4e5 | 2008-02-21 18:02:17 +0000 | [diff] [blame] | 197 | // Now add V to the NE set. |
Ted Kremenek | 862d5bb | 2008-02-06 00:54:14 +0000 | [diff] [blame] | 198 | S = ISetFactory.Add(S, &V); |
| 199 | |
| 200 | // Create a new state with the old binding replaced. |
Ted Kremenek | aed9b6a | 2008-02-28 10:21:43 +0000 | [diff] [blame] | 201 | ValueState NewSt = *St; |
Ted Kremenek | aa1c4e5 | 2008-02-21 18:02:17 +0000 | [diff] [blame] | 202 | NewSt.ConstNotEq = CNEFactory.Add(NewSt.ConstNotEq, sym, S); |
Ted Kremenek | 862d5bb | 2008-02-06 00:54:14 +0000 | [diff] [blame] | 203 | |
| 204 | // Get the persistent copy. |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 205 | return getPersistentState(NewSt); |
Ted Kremenek | 862d5bb | 2008-02-06 00:54:14 +0000 | [diff] [blame] | 206 | } |
| 207 | |
Ted Kremenek | 4323a57 | 2008-07-10 22:03:41 +0000 | [diff] [blame^] | 208 | const ValueState* ValueStateManager::AddEQ(const ValueState* St, SymbolID sym, |
| 209 | const llvm::APSInt& V) { |
Ted Kremenek | aa1c4e5 | 2008-02-21 18:02:17 +0000 | [diff] [blame] | 210 | |
Ted Kremenek | 862d5bb | 2008-02-06 00:54:14 +0000 | [diff] [blame] | 211 | // Create a new state with the old binding replaced. |
Ted Kremenek | aed9b6a | 2008-02-28 10:21:43 +0000 | [diff] [blame] | 212 | ValueState NewSt = *St; |
Ted Kremenek | aa1c4e5 | 2008-02-21 18:02:17 +0000 | [diff] [blame] | 213 | NewSt.ConstEq = CEFactory.Add(NewSt.ConstEq, sym, &V); |
Ted Kremenek | 862d5bb | 2008-02-06 00:54:14 +0000 | [diff] [blame] | 214 | |
| 215 | // Get the persistent copy. |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 216 | return getPersistentState(NewSt); |
Ted Kremenek | 862d5bb | 2008-02-06 00:54:14 +0000 | [diff] [blame] | 217 | } |
| 218 | |
Ted Kremenek | 4323a57 | 2008-07-10 22:03:41 +0000 | [diff] [blame^] | 219 | const ValueState* ValueStateManager::getInitialState() { |
Ted Kremenek | 5a7b382 | 2008-02-26 23:37:01 +0000 | [diff] [blame] | 220 | |
Ted Kremenek | 8133a26 | 2008-07-08 21:46:56 +0000 | [diff] [blame] | 221 | ValueState StateImpl(EnvMgr.getInitialEnvironment(), |
Ted Kremenek | 4323a57 | 2008-07-10 22:03:41 +0000 | [diff] [blame^] | 222 | StMgr->getInitialStore(), |
Ted Kremenek | 8133a26 | 2008-07-08 21:46:56 +0000 | [diff] [blame] | 223 | CNEFactory.GetEmptyMap(), |
| 224 | CEFactory.GetEmptyMap()); |
Ted Kremenek | 9153f73 | 2008-02-05 07:17:49 +0000 | [diff] [blame] | 225 | |
| 226 | return getPersistentState(StateImpl); |
| 227 | } |
| 228 | |
Ted Kremenek | 4323a57 | 2008-07-10 22:03:41 +0000 | [diff] [blame^] | 229 | const ValueState* ValueStateManager::getPersistentState(ValueState& State) { |
Ted Kremenek | 9153f73 | 2008-02-05 07:17:49 +0000 | [diff] [blame] | 230 | |
| 231 | llvm::FoldingSetNodeID ID; |
| 232 | State.Profile(ID); |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 233 | void* InsertPos; |
Ted Kremenek | 9153f73 | 2008-02-05 07:17:49 +0000 | [diff] [blame] | 234 | |
Ted Kremenek | aed9b6a | 2008-02-28 10:21:43 +0000 | [diff] [blame] | 235 | if (ValueState* I = StateSet.FindNodeOrInsertPos(ID, InsertPos)) |
Ted Kremenek | 9153f73 | 2008-02-05 07:17:49 +0000 | [diff] [blame] | 236 | return I; |
| 237 | |
Ted Kremenek | aed9b6a | 2008-02-28 10:21:43 +0000 | [diff] [blame] | 238 | ValueState* I = (ValueState*) Alloc.Allocate<ValueState>(); |
| 239 | new (I) ValueState(State); |
Ted Kremenek | 9153f73 | 2008-02-05 07:17:49 +0000 | [diff] [blame] | 240 | StateSet.InsertNode(I, InsertPos); |
| 241 | return I; |
| 242 | } |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 243 | |
Ted Kremenek | 461f977 | 2008-03-11 18:57:24 +0000 | [diff] [blame] | 244 | void ValueState::printDOT(std::ostream& Out, CheckerStatePrinter* P) const { |
| 245 | print(Out, P, "\\l", "\\|"); |
Ted Kremenek | 59894f9 | 2008-03-04 18:30:35 +0000 | [diff] [blame] | 246 | } |
| 247 | |
Ted Kremenek | 461f977 | 2008-03-11 18:57:24 +0000 | [diff] [blame] | 248 | void ValueState::printStdErr(CheckerStatePrinter* P) const { |
| 249 | print(*llvm::cerr, P); |
| 250 | } |
| 251 | |
| 252 | void ValueState::print(std::ostream& Out, CheckerStatePrinter* P, |
| 253 | const char* nl, const char* sep) const { |
Ted Kremenek | aa1c4e5 | 2008-02-21 18:02:17 +0000 | [diff] [blame] | 254 | |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 255 | // Print Variable Bindings |
Ted Kremenek | 59894f9 | 2008-03-04 18:30:35 +0000 | [diff] [blame] | 256 | Out << "Variables:" << nl; |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 257 | |
| 258 | bool isFirst = true; |
| 259 | |
Ted Kremenek | aa1c4e5 | 2008-02-21 18:02:17 +0000 | [diff] [blame] | 260 | for (vb_iterator I = vb_begin(), E = vb_end(); I != E; ++I) { |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 261 | |
Ted Kremenek | aa1c4e5 | 2008-02-21 18:02:17 +0000 | [diff] [blame] | 262 | if (isFirst) isFirst = false; |
Ted Kremenek | 59894f9 | 2008-03-04 18:30:35 +0000 | [diff] [blame] | 263 | else Out << nl; |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 264 | |
| 265 | Out << ' ' << I.getKey()->getName() << " : "; |
| 266 | I.getData().print(Out); |
| 267 | } |
| 268 | |
| 269 | // Print Subexpression bindings. |
| 270 | |
| 271 | isFirst = true; |
| 272 | |
Ted Kremenek | aa1c4e5 | 2008-02-21 18:02:17 +0000 | [diff] [blame] | 273 | for (seb_iterator I = seb_begin(), E = seb_end(); I != E; ++I) { |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 274 | |
| 275 | if (isFirst) { |
Ted Kremenek | 59894f9 | 2008-03-04 18:30:35 +0000 | [diff] [blame] | 276 | Out << nl << nl << "Sub-Expressions:" << nl; |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 277 | isFirst = false; |
| 278 | } |
Ted Kremenek | 59894f9 | 2008-03-04 18:30:35 +0000 | [diff] [blame] | 279 | else { Out << nl; } |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 280 | |
| 281 | Out << " (" << (void*) I.getKey() << ") "; |
| 282 | I.getKey()->printPretty(Out); |
| 283 | Out << " : "; |
| 284 | I.getData().print(Out); |
| 285 | } |
| 286 | |
| 287 | // Print block-expression bindings. |
| 288 | |
| 289 | isFirst = true; |
| 290 | |
Ted Kremenek | aa1c4e5 | 2008-02-21 18:02:17 +0000 | [diff] [blame] | 291 | for (beb_iterator I = beb_begin(), E = beb_end(); I != E; ++I) { |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 292 | |
| 293 | if (isFirst) { |
Ted Kremenek | 59894f9 | 2008-03-04 18:30:35 +0000 | [diff] [blame] | 294 | Out << nl << nl << "Block-level Expressions:" << nl; |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 295 | isFirst = false; |
| 296 | } |
Ted Kremenek | 59894f9 | 2008-03-04 18:30:35 +0000 | [diff] [blame] | 297 | else { Out << nl; } |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 298 | |
| 299 | Out << " (" << (void*) I.getKey() << ") "; |
| 300 | I.getKey()->printPretty(Out); |
| 301 | Out << " : "; |
| 302 | I.getData().print(Out); |
| 303 | } |
| 304 | |
| 305 | // Print equality constraints. |
| 306 | |
Ted Kremenek | aed9b6a | 2008-02-28 10:21:43 +0000 | [diff] [blame] | 307 | if (!ConstEq.isEmpty()) { |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 308 | |
Ted Kremenek | 59894f9 | 2008-03-04 18:30:35 +0000 | [diff] [blame] | 309 | Out << nl << sep << "'==' constraints:"; |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 310 | |
Ted Kremenek | aed9b6a | 2008-02-28 10:21:43 +0000 | [diff] [blame] | 311 | for (ConstEqTy::iterator I = ConstEq.begin(), |
| 312 | E = ConstEq.end(); I!=E; ++I) { |
Ted Kremenek | aa1c4e5 | 2008-02-21 18:02:17 +0000 | [diff] [blame] | 313 | |
Ted Kremenek | 59894f9 | 2008-03-04 18:30:35 +0000 | [diff] [blame] | 314 | Out << nl << " $" << I.getKey() |
Ted Kremenek | aa1c4e5 | 2008-02-21 18:02:17 +0000 | [diff] [blame] | 315 | << " : " << I.getData()->toString(); |
| 316 | } |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 317 | } |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 318 | |
| 319 | // Print != constraints. |
| 320 | |
Ted Kremenek | aed9b6a | 2008-02-28 10:21:43 +0000 | [diff] [blame] | 321 | if (!ConstNotEq.isEmpty()) { |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 322 | |
Ted Kremenek | 59894f9 | 2008-03-04 18:30:35 +0000 | [diff] [blame] | 323 | Out << nl << sep << "'!=' constraints:"; |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 324 | |
Ted Kremenek | aed9b6a | 2008-02-28 10:21:43 +0000 | [diff] [blame] | 325 | for (ConstNotEqTy::iterator I = ConstNotEq.begin(), |
| 326 | EI = ConstNotEq.end(); I != EI; ++I) { |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 327 | |
Ted Kremenek | 59894f9 | 2008-03-04 18:30:35 +0000 | [diff] [blame] | 328 | Out << nl << " $" << I.getKey() << " : "; |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 329 | isFirst = true; |
| 330 | |
Ted Kremenek | aa1c4e5 | 2008-02-21 18:02:17 +0000 | [diff] [blame] | 331 | IntSetTy::iterator J = I.getData().begin(), EJ = I.getData().end(); |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 332 | |
| 333 | for ( ; J != EJ; ++J) { |
| 334 | if (isFirst) isFirst = false; |
| 335 | else Out << ", "; |
| 336 | |
| 337 | Out << (*J)->toString(); |
| 338 | } |
| 339 | } |
| 340 | } |
Ted Kremenek | 461f977 | 2008-03-11 18:57:24 +0000 | [diff] [blame] | 341 | |
| 342 | // Print checker-specific data. |
| 343 | |
| 344 | if (P && CheckerState) |
| 345 | P->PrintCheckerState(Out, CheckerState, nl, sep); |
Ted Kremenek | e7d2211 | 2008-02-11 19:21:59 +0000 | [diff] [blame] | 346 | } |