reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
383 ASTContext &Ctx = svalBuilder.getContext(); 408 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); 409 SVal Offset = svalBuilder.evalBinOpNN(state, BO_Sub, *Length, One, sizeTy); 415 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType()); 419 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, 435 BufStart = svalBuilder.evalCast(BufVal, PtrTy, SecondBuf->getType()); 439 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc,