Home
last modified time | relevance | path

Searched refs:BufV (Results 1 – 4 of 4) sorted by relevance

/freebsd-14-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
HDDynamicExtent.cpp86 SVal getDynamicExtentWithOffset(ProgramStateRef State, SVal BufV) { in getDynamicExtentWithOffset() argument
88 const MemRegion *MRegion = BufV.getAsRegion(); in getDynamicExtentWithOffset()
107 SVal BufV, in getDynamicElementCountWithOffset() argument
109 const MemRegion *MR = BufV.getAsRegion(); in getDynamicElementCountWithOffset()
118 return getDynamicElementCount(State, getDynamicExtentWithOffset(State, BufV), in getDynamicElementCountWithOffset()
/freebsd-14-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDDynamicExtent.h54 SVal getDynamicExtentWithOffset(ProgramStateRef State, SVal BufV);
59 SVal BufV, QualType Ty);
/freebsd-14-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
HDCStringChecker.cpp275 const Expr *BufE, SVal BufV, SVal SizeV,
280 CheckerContext &C, ProgramStateRef S, const Expr *BufE, SVal BufV);
285 CheckerContext &C, ProgramStateRef S, const Expr *BufE, SVal BufV);
290 const Expr *BufE, SVal BufV);
1207 CheckerContext &C, ProgramStateRef S, const Expr *BufE, SVal BufV, in invalidateDestinationBufferBySize() argument
1210 [&C, S, BufTy = BufE->getType(), BufV, SizeV, in invalidateDestinationBufferBySize()
1215 isFirstBufInBound(C, S, BufV, BufTy, SizeV, SizeTy)) { in invalidateDestinationBufferBySize()
1223 return invalidateBufferAux(C, S, BufE, BufV, InvalidationTraitOperations); in invalidateDestinationBufferBySize()
1228 CheckerContext &C, ProgramStateRef S, const Expr *BufE, SVal BufV) { in invalidateDestinationBufferAlwaysEscapeSuperRegion() argument
1234 return invalidateBufferAux(C, S, BufE, BufV, InvalidationTraitOperations); in invalidateDestinationBufferAlwaysEscapeSuperRegion()
[all …]
HDStdLibraryFunctionsChecker.cpp1240 SVal BufV = getArgSVal(Call, getArgNo()); in apply() local
1261 SVal BufDynSize = getDynamicExtentWithOffset(State, BufV); in apply()
1299 SVal BufV = getArgSVal(Call, getArgNo()); in describeArgumentValue() local
1300 SVal BufDynSize = getDynamicExtentWithOffset(State, BufV); in describeArgumentValue()