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