reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
783 const auto Offset = Reg.second.getOffset(); 791 const auto Offset = Sym.second.getOffset(); 891 processComparison(C, State, LPos->getOffset(), RPos->getOffset(), RetVal, Op); 891 processComparison(C, State, LPos->getOffset(), RPos->getOffset(), RetVal, Op); 1454 State = invalidateIteratorPositions(State, Pos->getOffset(), BO_GE); 1480 State = invalidateIteratorPositions(State, Pos->getOffset(), BO_GE); 1489 State = invalidateIteratorPositions(State, Pos->getOffset(), BO_EQ); 1511 State = invalidateIteratorPositions(State, Pos1->getOffset(), BO_GE); 1520 State = invalidateIteratorPositions(State, Pos1->getOffset(), BO_GE, 1521 Pos2->getOffset(), BO_LT); 1540 nonloc::SymbolVal(Pos->getOffset()), 1542 SymMgr.getType(Pos->getOffset())).getAsSymbol(); 1556 State = invalidateIteratorPositions(State, Pos1->getOffset(), BO_GT, 1557 Pos2->getOffset(), BO_LT); 1576 nonloc::SymbolVal(Pos.getOffset()), *IntDist, 1577 SymMgr.getType(Pos.getOffset())) 1583 SymMgr.getType(Pos.getOffset()), 2186 !compare(State, Pos.getOffset(), Offset, Opc); 2198 return compare(State, Pos.getOffset(), Offset, Opc); 2212 return compare(State, Pos.getOffset(), Offset1, Opc1) && 2213 compare(State, Pos.getOffset(), Offset2, Opc2); 2240 !compare(State, Pos.getOffset(), Offset, Opc); 2255 return compare(State, Pos.getOffset(), CondSym, Opc); 2258 return Pos.setTo(rebaseSymbol(State, SVB, Pos.getOffset(), OldSym, 2298 if (isEqual(State, Pos.getOffset(), End)) { 2314 if (isLess(State, Pos.getOffset(), Beg)) { 2330 if (isGreater(State, Pos.getOffset(), End)) {