Searched refs:BufVal (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 350 SVal BufVal, QualType BufTy, SVal LengthVal,
612 SVal BufVal = C.getSVal(Buffer.Expression); in CheckBufferAccess() local
613 State = checkNonNull(C, State, Buffer, BufVal); in CheckBufferAccess()
622 svalBuilder.evalCast(BufVal, PtrTy, Buffer.Expression->getType()); in CheckBufferAccess()
1146 SVal BufVal, QualType BufTy, in isFirstBufInBound() argument
1173 SVal BufStart = SB.evalCast(BufVal, PtrTy, BufTy); in isFirstBufInBound()
|