Searched defs:BufVal (Results 1 - 1 of 1) sorted by relevance
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | CStringChecker.cpp | 356 SVal BufVal = state->getSVal(FirstBuf, LCtx); local 357 state = checkNonNull(C, state, FirstBuf, BufVal); 379 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType()); 394 BufVal = state->getSVal(SecondBuf, LCtx); 395 state = checkNonNull(C, state, SecondBuf, BufVal); 399 BufStart = svalBuilder.evalCast(BufVal, PtrTy, SecondBuf->getType());
|
Completed in 35 milliseconds