Searched refs:CompSym (Results 1 – 1 of 1) sorted by relevance
810 if (const auto CompSym = comparison.getAsSymbol()) { in relateSymbols() local811 assert(isa<SymIntExpr>(CompSym) && in relateSymbols()814 cast<SymIntExpr>(CompSym)->getOpcode()) && in relateSymbols()816 return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2); in relateSymbols()