reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
379 if (!state) 391 state = checkNonNull(C, state, FirstBuf, BufVal, 1); 391 state = checkNonNull(C, state, FirstBuf, BufVal, 1); 392 if (!state) 397 return state; 405 return state; 409 SVal Offset = svalBuilder.evalBinOpNN(state, BO_Sub, *Length, One, sizeTy); 419 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, 421 state = CheckLocation(C, state, warningExpr, BufEnd, firstMessage); 421 state = CheckLocation(C, state, warningExpr, BufEnd, firstMessage); 424 if (!state) 430 BufVal = state->getSVal(SecondBuf, LCtx); 431 state = checkNonNull(C, state, SecondBuf, BufVal, 2); 431 state = checkNonNull(C, state, SecondBuf, BufVal, 2); 432 if (!state) 439 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, 441 state = CheckLocation(C, state, warningExpr, BufEnd, secondMessage); 441 state = CheckLocation(C, state, warningExpr, BufEnd, secondMessage); 446 return state;