Searched refs:getSymSymExpr (Results 1 – 6 of 6) sorted by relevance
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 61 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); in assumeSym()
75 SymMgr.getSymSymExpr(SSE->getLHS(), BO_EQ, SSE->getRHS(), ExprType); in assumeSym()
|
| H A D | SimpleSValBuilder.cpp | 277 ResultSym = SymMgr.getSymSymExpr(RSym, BO_Sub, LSym, SymTy); in doRearrangeUnchecked()
281 ResultSym = SymMgr.getSymSymExpr(LSym, BO_Sub, RSym, SymTy); in doRearrangeUnchecked()
286 ResultSym = SymMgr.getSymSymExpr(LSym, Op, RSym, SymTy); in doRearrangeUnchecked()
|
| H A D | SymbolManager.cpp | 294 const SymSymExpr *SymbolManager::getSymSymExpr(const SymExpr *lhs, in getSymSymExpr() function in SymbolManager
|
| H A D | RangeConstraintManager.cpp | 1090 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), T); in getRangeForNegatedSub()
1137 const SymSymExpr *SymSym = SymMgr.getSymSymExpr(LHS, QueriedOP, RHS, T); in getRangeForComparisonSymbol()
1145 SymSym = SymMgr.getSymSymExpr(RHS, ROP, LHS, T); in getRangeForComparisonSymbol()
|
| H A D | SValBuilder.cpp | 89 return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type)); in makeNonLoc()
|
| /freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SymbolManager.h | 486 const SymSymExpr *getSymSymExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
|