Searched refs:SizeV (Results 1 – 5 of 5) sorted by relevance
| /freebsd/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 DefinedSVal SizeD = SizeV.castAs<DefinedSVal>(); in checkVLAIndexSize()
203 if ((StateNeg || StateZero) && isTainted(State, SizeV)) { in checkVLAIndexSize()
204 reportTaintBug(SizeE, State, C, SizeV); 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 | 275 const Expr *BufE, SVal BufV, SVal SizeV,
1208 SVal SizeV, QualType SizeTy) { in invalidateDestinationBufferBySize() argument
1210 [&C, S, BufTy = BufE->getType(), BufV, SizeV, in invalidateDestinationBufferBySize()
1215 isFirstBufInBound(C, S, BufV, BufTy, SizeV, SizeTy)) { in invalidateDestinationBufferBySize()
|
| /freebsd/contrib/llvm-project/clang/lib/CodeGen/ |
| H A D | CGDecl.cpp | 1365 llvm::Value *SizeV = llvm::ConstantInt::get( in EmitLifetimeStart() local
1368 Builder.CreateCall(CGM.getLLVMLifetimeStartFn(), {SizeV, Addr}); in EmitLifetimeStart()
1370 return SizeV; in EmitLifetimeStart()
|