Searched refs:SymbolVal (Results 1 – 10 of 10) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SVals.cpp | 32 if (const nonloc::SymbolVal* SV = dyn_cast<nonloc::SymbolVal>(this)) { in hasConjuredSymbol()
103 if (const nonloc::SymbolVal *X = dyn_cast<nonloc::SymbolVal>(this)) in getAsSymbol()
112 if (const nonloc::SymbolVal *X = dyn_cast<nonloc::SymbolVal>(this)) in getAsSymbolicExpression()
264 os << cast<nonloc::SymbolVal>(this)->getSymbol(); in dumpToStream()
|
| D | SValBuilder.cpp | 50 return nonloc::SymbolVal(SymMgr.getSymIntExpr(lhs, op, rhs, type)); in makeNonLoc()
58 return nonloc::SymbolVal(SymMgr.getIntSymExpr(lhs, op, rhs, type)); in makeNonLoc()
66 return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type)); in makeNonLoc()
73 return nonloc::SymbolVal(SymMgr.getCastSymbol(operand, fromTy, toTy)); in makeNonLoc()
106 return nonloc::SymbolVal(sym); in getRegionValueSymbolVal()
132 return nonloc::SymbolVal(sym); in getConjuredSymbolVal()
149 return nonloc::SymbolVal(sym); in getConjuredSymbolVal()
164 return nonloc::SymbolVal(sym); in getMetadataSymbolVal()
180 return nonloc::SymbolVal(sym); in getDerivedRegionValueSymbolVal()
|
| D | SimpleConstraintManager.cpp | 26 nonloc::SymbolVal *SymVal = dyn_cast<nonloc::SymbolVal>(&X); in canReasonAbout()
169 nonloc::SymbolVal& SV = cast<nonloc::SymbolVal>(Cond); in assumeAux()
|
| D | SimpleSValBuilder.cpp | 272 return evalCastFromNonLoc(nonloc::SymbolVal(LHS), resultTy); in MakeSymIntVal()
339 if (const nonloc::SymbolVal *srhs = dyn_cast<nonloc::SymbolVal>(&rhs)) { in evalBinOpNN()
399 nonloc::SymbolVal *selhs = cast<nonloc::SymbolVal>(&lhs); in evalBinOpNN()
487 nonloc::SymbolVal *slhs = cast<nonloc::SymbolVal>(&lhs); in evalBinOpNN()
524 if (const nonloc::SymbolVal *srhs = dyn_cast<nonloc::SymbolVal>(&rhs)) { in evalBinOpNN()
|
| D | MemRegion.cpp | 187 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); in getExtent()
212 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); in getExtent()
216 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); in getExtent()
|
| D | ExprEngine.cpp | 1530 isa<nonloc::SymbolVal>(baseExprVal)) { in VisitMemberExpr()
1771 nonloc::SymbolVal *SEV = dyn_cast<nonloc::SymbolVal>(&V); in evalEagerlyAssume()
|
| D | RegionStore.cpp | 1633 SVal SV = isa<nonloc::SymbolVal>(V) ? V : UnknownVal(); in BindStruct()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SVals.h | 268 class SymbolVal : public NonLoc {
270 SymbolVal(SymbolRef sym) : NonLoc(SymbolValKind, sym) {} in SymbolVal() function
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | MacOSKeychainAPIChecker.cpp | 252 nonloc::SymbolVal(RetSym)); in definitelyReturnedError()
|
| D | RetainCountChecker.cpp | 2841 state = state.assume(loc::SymbolVal(Sym), true, isFeasible); in checkSummary()
|