Searched refs:SvalBuilder (Results 1 – 5 of 5) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CheckPlacementNew.cpp | 74 SValBuilder &SvalBuilder = C.getSValBuilder(); in getExtentSizeOfNewTarget() local
85 return SvalBuilder.evalBinOp( in getExtentSizeOfNewTarget()
87 SvalBuilder.makeArrayIndex(TypeSize.getQuantity()), in getExtentSizeOfNewTarget()
88 SvalBuilder.getArrayIndexType()); in getExtentSizeOfNewTarget()
93 llvm::APInt I(AstContext.getTypeSizeInChars(SvalBuilder.getArrayIndexType()) in getExtentSizeOfNewTarget()
97 return SvalBuilder.makeArrayIndex(I.getZExtValue()); in getExtentSizeOfNewTarget()
|
| H A D | BasicObjCFoundationChecks.cpp | 933 SValBuilder &SvalBuilder = C.getSValBuilder(); in assumeCollectionNonEmpty() local
935 SvalBuilder.evalBinOp(State, BO_GT, in assumeCollectionNonEmpty()
937 SvalBuilder.makeIntVal(0, (*CountS)->getType()), in assumeCollectionNonEmpty()
938 SvalBuilder.getConditionType()); in assumeCollectionNonEmpty()
|
| H A D | CStringChecker.cpp | 1082 SValBuilder &SvalBuilder = C.getSValBuilder(); in getCStringLength() local
1083 QualType SizeTy = SvalBuilder.getContext().getSizeType(); in getCStringLength()
1084 return SvalBuilder.makeIntVal(StrLit->getLength(), SizeTy); in getCStringLength()
1500 SValBuilder &SvalBuilder = C.getSValBuilder(); in evalCopyCommon() local
1501 ASTContext &Ctx = SvalBuilder.getContext(); in evalCopyCommon()
1504 SvalBuilder.evalCast(destVal, CharPtrTy, Dest.Expression->getType()); in evalCopyCommon()
|
| H A D | StdLibraryFunctionsChecker.cpp | 1238 SValBuilder &SvalBuilder = C.getSValBuilder(); in apply() local
1243 const SVal SizeV = [this, &State, &Call, &Summary, &SvalBuilder]() { in apply()
1245 return SVal(SvalBuilder.makeIntVal(*ConcreteSize)); in apply()
1254 SizeV = SvalBuilder.evalBinOp(State, BO_Mul, SizeV, SizeMulV, in apply()
1263 SVal Feasible = SvalBuilder.evalBinOp(State, Op, SizeV, BufDynSize, in apply()
1264 SvalBuilder.getContext().BoolTy); in apply()
|
| H A D | MallocChecker.cpp | 1505 SValBuilder &SvalBuilder = State->getStateManager().getSValBuilder(); in ProcessZeroAllocCheck() local
1507 SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in ProcessZeroAllocCheck()
1510 State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero)); in ProcessZeroAllocCheck()
|