Searched refs:getSymSymExpr (Results 1 – 6 of 6) sorted by relevance
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 66 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); in assumeSym()
80 SymMgr.getSymSymExpr(SSE->getLHS(), BO_EQ, SSE->getRHS(), ExprType); in assumeSym()
|
| H A D | SimpleSValBuilder.cpp | 329 ResultSym = SymMgr.getSymSymExpr(RSym, BO_Sub, LSym, SymTy); in doRearrangeUnchecked()
333 ResultSym = SymMgr.getSymSymExpr(LSym, BO_Sub, RSym, SymTy); in doRearrangeUnchecked()
338 ResultSym = SymMgr.getSymSymExpr(LSym, Op, RSym, SymTy); in doRearrangeUnchecked()
|
| H A D | SymbolManager.cpp | 296 const SymSymExpr *SymbolManager::getSymSymExpr(const SymExpr *lhs, in getSymSymExpr() function in SymbolManager
|
| H A D | RangeConstraintManager.cpp | 1472 return State->getSymbolManager().getSymSymExpr( in getRangeForNegatedSymSym()
1526 const SymSymExpr *SymSym = SymMgr.getSymSymExpr(LHS, QueriedOP, RHS, T); in getRangeForComparisonSymbol()
1534 SymSym = SymMgr.getSymSymExpr(RHS, ROP, LHS, T); in getRangeForComparisonSymbol()
|
| H A D | SValBuilder.cpp | 102 return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type)); in makeNonLoc()
|
| /src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SymbolManager.h | 551 const SymSymExpr *getSymSymExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
|