reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
391 state = checkNonNull(C, state, FirstBuf, BufVal, 1); 415 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType()); 430 BufVal = state->getSVal(SecondBuf, LCtx); 431 state = checkNonNull(C, state, SecondBuf, BufVal, 2); 435 BufStart = svalBuilder.evalCast(BufVal, PtrTy, SecondBuf->getType());