Searched refs:SizeV (Results 1 – 5 of 5) sorted by relevance
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | VLASizeChecker.cpp | 155 SVal SizeV = C.getSVal(SizeE); in checkVLAIndexSize() local 157 if (SizeV.isUndef()) { in checkVLAIndexSize() 164 if (SizeV.isUnknown()) in checkVLAIndexSize() 168 if (isTainted(State, SizeV)) { in checkVLAIndexSize() 169 reportTaintBug(SizeE, State, C, SizeV); in checkVLAIndexSize() 174 DefinedSVal SizeD = SizeV.castAs<DefinedSVal>(); in checkVLAIndexSize()
|
| H A D | ObjCContainersChecker.cpp | 63 SVal SizeV = C.getSVal(Size); in REGISTER_MAP_WITH_PROGRAMSTATE() local 65 if (SizeV.isUnknownOrUndef()) in REGISTER_MAP_WITH_PROGRAMSTATE() 75 State->set<ArraySizeMap>(ArraySym, SizeV.castAs<DefinedSVal>())); in REGISTER_MAP_WITH_PROGRAMSTATE()
|
| H A D | StdLibraryFunctionsChecker.cpp | 1243 const SVal SizeV = [this, &State, &Call, &Summary, &SvalBuilder]() { in apply() local 1250 SVal SizeV = getArgSVal(Call, *SizeArgN); in apply() local 1254 SizeV = SvalBuilder.evalBinOp(State, BO_Mul, SizeV, SizeMulV, in apply() 1257 return SizeV; in apply() 1263 SVal Feasible = SvalBuilder.evalBinOp(State, Op, SizeV, BufDynSize, in apply()
|
| H A D | CStringChecker.cpp | 251 const Expr *BufE, SVal BufV, SVal SizeV, 1063 SVal SizeV, QualType SizeTy) { in invalidateDestinationBufferBySize() argument 1065 [&C, S, BufTy = BufE->getType(), BufV, SizeV, in invalidateDestinationBufferBySize() 1070 isFirstBufInBound(C, S, BufV, BufTy, SizeV, SizeTy)) { in invalidateDestinationBufferBySize()
|
| /freebsd-14.2/contrib/llvm-project/clang/lib/CodeGen/ |
| H A D | CGDecl.cpp | 1363 llvm::Value *SizeV = llvm::ConstantInt::get( in EmitLifetimeStart() local 1366 Builder.CreateCall(CGM.getLLVMLifetimeStartFn(), {SizeV, Addr}); in EmitLifetimeStart() 1368 return SizeV; in EmitLifetimeStart()
|