Searched defs:BufV (Results 1 – 3 of 3) sorted by relevance
| /freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | DynamicExtent.cpp | 86 SVal getDynamicExtentWithOffset(ProgramStateRef State, SVal BufV) { in getDynamicExtentWithOffset()
107 SVal BufV, in getDynamicElementCountWithOffset()
|
| /freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 1062 invalidateDestinationBufferBySize(CheckerContext & C,ProgramStateRef S,const Expr * BufE,SVal BufV,SVal SizeV,QualType SizeTy) invalidateDestinationBufferBySize() argument
1083 invalidateDestinationBufferAlwaysEscapeSuperRegion(CheckerContext & C,ProgramStateRef S,const Expr * BufE,SVal BufV) invalidateDestinationBufferAlwaysEscapeSuperRegion() argument
1093 invalidateDestinationBufferNeverOverflows(CheckerContext & C,ProgramStateRef S,const Expr * BufE,SVal BufV) invalidateDestinationBufferNeverOverflows() argument
1109 invalidateSourceBuffer(CheckerContext & C,ProgramStateRef S,const Expr * BufE,SVal BufV) invalidateSourceBuffer() argument
[all...] |
| H A D | StdLibraryFunctionsChecker.cpp | 1240 SVal BufV = getArgSVal(Call, getArgNo()); in apply() local
1299 SVal BufV = getArgSVal(Call, getArgNo()); in describeArgumentValue() local
|