Searched refs:CompSym (Results 1 – 1 of 1) sorted by relevance
2124 if (const auto CompSym = comparison.getAsSymbol()) { in relateIteratorPositions() local2125 assert(isa<SymIntExpr>(CompSym) && in relateIteratorPositions()2128 cast<SymIntExpr>(CompSym)->getOpcode()) && in relateIteratorPositions()2130 return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2); in relateIteratorPositions()