Searched refs:SymSym (Results 1 – 3 of 3) sorted by relevance
113 SymSym, enumerator
225 SymSym enumerator
1130 const SymSymExpr *SymSym = SymMgr.getSymSymExpr(LHS, QueriedOP, RHS, T); in getRangeForComparisonSymbol() local1131 const RangeSet *QueriedRangeSet = getConstraint(State, SymSym); in getRangeForComparisonSymbol()1138 SymSym = SymMgr.getSymSymExpr(RHS, ROP, LHS, T); in getRangeForComparisonSymbol()1139 QueriedRangeSet = getConstraint(State, SymSym); in getRangeForComparisonSymbol()