Home
last modified time | relevance | path

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

/freebsd-14-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
HDRangedConstraintManager.cpp66 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); in assumeSym()
80 SymMgr.getSymSymExpr(SSE->getLHS(), BO_EQ, SSE->getRHS(), ExprType); in assumeSym()
HDSimpleSValBuilder.cpp329 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()
HDSymbolManager.cpp296 const SymSymExpr *SymbolManager::getSymSymExpr(const SymExpr *lhs, in getSymSymExpr() function in SymbolManager
HDRangeConstraintManager.cpp1472 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()
HDSValBuilder.cpp102 return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type)); in makeNonLoc()
/freebsd-14-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDSymbolManager.h551 const SymSymExpr *getSymSymExpr(const SymExpr *lhs, BinaryOperator::Opcode op,