Lines Matching refs:SVal
23 SVal Environment::lookupExpr(const EnvironmentEntry &E) const {
24 const SVal* X = ExprBindings.lookup(E);
26 SVal V = *X;
32 SVal Environment::getSVal(const EnvironmentEntry &Entry,
68 const SVal *X = ExprBindings.lookup(EnvironmentEntry(E, LCtx));
76 SVal const *X = ExprBindings.lookup(EnvironmentEntry(E, LCtx));
85 // For special C0xx nullptr case, make a null pointer SVal.
126 SVal V,
145 SVal location, SVal V) {
191 SmallVector<std::pair<EnvironmentEntry, SVal>, 10> deferredLocations;
196 llvm::ImmutableMapRef<EnvironmentEntry,SVal>
214 const SVal &X = I.getData();
234 // SVal.
241 for (SmallVectorImpl<std::pair<EnvironmentEntry, SVal> >::iterator
