Searched refs:SymSym (Results 1 – 1 of 1) sorted by relevance
1526 const SymSymExpr *SymSym = SymMgr.getSymSymExpr(LHS, QueriedOP, RHS, T); in getRangeForComparisonSymbol() local1527 const RangeSet *QueriedRangeSet = getConstraint(State, SymSym); in getRangeForComparisonSymbol()1534 SymSym = SymMgr.getSymSymExpr(RHS, ROP, LHS, T); in getRangeForComparisonSymbol()1535 QueriedRangeSet = getConstraint(State, SymSym); in getRangeForComparisonSymbol()