Searched refs:getSymSymExpr (Results 1 – 6 of 6) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 59 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); in assumeSym()
|
| H A D | SimpleSValBuilder.cpp | 410 ResultSym = SymMgr.getSymSymExpr(RSym, BO_Sub, LSym, SymTy); in doRearrangeUnchecked()
414 ResultSym = SymMgr.getSymSymExpr(LSym, BO_Sub, RSym, SymTy); in doRearrangeUnchecked()
419 ResultSym = SymMgr.getSymSymExpr(LSym, Op, RSym, SymTy); in doRearrangeUnchecked()
|
| H A D | SymbolManager.cpp | 306 const SymSymExpr *SymbolManager::getSymSymExpr(const SymExpr *lhs, in getSymSymExpr() function in SymbolManager
|
| H A D | SValBuilder.cpp | 90 return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type)); in makeNonLoc()
|
| H A D | RangeConstraintManager.cpp | 499 SymbolRef negSym = SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, in getRangeForMinusSymbol()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SymbolManager.h | 530 const SymSymExpr *getSymSymExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
|