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