Lines Matching refs:SymbolVal

997       SVB.evalBinOpNN(State, BO_LE, nonloc::SymbolVal(Sym),  in assumeNoOverflow()
1007       SVB.evalBinOpNN(State, BO_GE, nonloc::SymbolVal(Sym),  in assumeNoOverflow()
1323                     nonloc::SymbolVal(EndSym),  in handlePushBack()
1349                     nonloc::SymbolVal(EndSym),  in handlePopBack()
1392                       nonloc::SymbolVal(BeginSym),  in handlePushFront()
1427                     nonloc::SymbolVal(BeginSym),  in handlePopFront()
1534                   nonloc::SymbolVal(Pos->getOffset()),  in handleEraseAfter()
1570                                    nonloc::SymbolVal(Pos.getOffset()), *IntDist,  in advancePosition()
2116       SVB.evalBinOp(State, BO_EQ, nonloc::SymbolVal(Pos1.getOffset()),  in relateIteratorPositions()
2117                     nonloc::SymbolVal(Pos2.getOffset()),  in relateIteratorPositions()
2298   auto Diff = SVB.evalBinOpNN(State, BO_Sub, nonloc::SymbolVal(OrigExpr),  in rebaseSymbol()
2299                               nonloc::SymbolVal(OldExpr),   in rebaseSymbol()
2306   return SVB.evalBinOpNN(State, BO_Add, *DiffInt, nonloc::SymbolVal(NewSym),  in rebaseSymbol()
2379   return compare(State, nonloc::SymbolVal(Sym1), nonloc::SymbolVal(Sym2), Opc);  in compare()