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