Searched refs:SymSym (Results 1 – 1 of 1) sorted by relevance
1543 const SymSymExpr *SymSym = in getRangeForComparisonSymbol() local1545 const RangeSet *QueriedRangeSet = getConstraint(State, SymSym); in getRangeForComparisonSymbol()1552 SymSym = SymMgr.acquire<SymSymExpr>(RHS, ROP, LHS, T); in getRangeForComparisonSymbol()1553 QueriedRangeSet = getConstraint(State, SymSym); in getRangeForComparisonSymbol()