Home
last modified time | relevance | path

Searched refs:getAsSymExpr (Results 1 – 6 of 6) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DSimpleConstraintManager.cpp122 SymbolRef sym = Cond.getAsSymExpr(); in assumeAux()
203 SymbolRef Sym = Value.getAsSymExpr(); in assumeWithinInclusiveRange()
DSValBuilder.cpp339 const SymExpr *symLHS = LHS.getAsSymExpr(); in makeSymExprValNN()
340 const SymExpr *symRHS = RHS.getAsSymExpr(); in makeSymExprValNN()
DSVals.cpp128 const SymExpr* SVal::getAsSymExpr() const { in getAsSymExpr() function in SVal
DProgramState.cpp697 if (const SymExpr *Sym = V.getAsSymExpr()) in isTainted()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSVals.h170 const SymExpr* getAsSymExpr() const;
/external/clang/lib/StaticAnalyzer/Checkers/
DCheckObjCDealloc.cpp416 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymExpr()); in evalAssume()