Searched refs:SizeV (Results 1 – 5 of 5) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | VLASizeChecker.cpp | 153 SVal SizeV = C.getSVal(SizeE); in checkVLAIndexSize() local
155 if (SizeV.isUndef()) { in checkVLAIndexSize()
162 if (SizeV.isUnknown()) in checkVLAIndexSize()
166 DefinedSVal SizeD = SizeV.castAs<DefinedSVal>(); in checkVLAIndexSize()
201 if ((StateNeg || StateZero) && isTainted(State, SizeV)) { in checkVLAIndexSize()
202 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 | 1244 const SVal SizeV = [this, &State, &Call, &Summary, &SvalBuilder]() { in apply() local
1251 SVal SizeV = getArgSVal(Call, *SizeArgN); in apply() local
1255 SizeV = SvalBuilder.evalBinOp(State, BO_Mul, SizeV, SizeMulV, in apply()
1258 return SizeV; in apply()
1264 SVal Feasible = SvalBuilder.evalBinOp(State, Op, SizeV, BufDynSize, in apply()
|
| H A D | CStringChecker.cpp | 275 SVal BufV, SVal SizeV, QualType SizeTy);
1214 ConstCFGElementRef Elem, SVal BufV, SVal SizeV, QualType SizeTy) { in invalidateDestinationBufferBySize() argument
1216 [&C, S, BufTy = BufE->getType(), BufV, SizeV, in invalidateDestinationBufferBySize()
1221 isFirstBufInBound(C, S, BufV, BufTy, SizeV, SizeTy)) { in invalidateDestinationBufferBySize()
|
| /freebsd/contrib/llvm-project/clang/lib/CodeGen/ |
| H A D | CGDecl.cpp | 1360 llvm::Value *SizeV = llvm::ConstantInt::get( in EmitLifetimeStart() local
1363 Builder.CreateCall(CGM.getLLVMLifetimeStartFn(), {SizeV, Addr}); in EmitLifetimeStart()
1365 return SizeV; in EmitLifetimeStart()
|