Home
last modified time | relevance | path

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

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
HDCheckPlacementNew.cpp41 SValBuilder &SvalBuilder = C.getSValBuilder(); in getExtentSizeOfPlace() local
42 NonLoc OffsetInBytes = SvalBuilder.makeArrayIndex( in getExtentSizeOfPlace()
45 BaseRegion->castAs<SubRegion>()->getExtent(SvalBuilder); in getExtentSizeOfPlace()
47 return SvalBuilder.evalBinOp(State, BinaryOperator::Opcode::BO_Sub, in getExtentSizeOfPlace()
49 SvalBuilder.getArrayIndexType()); in getExtentSizeOfPlace()
55 SValBuilder &SvalBuilder = C.getSValBuilder(); in getExtentSizeOfNewTarget() local
64 return SvalBuilder.evalBinOp( in getExtentSizeOfNewTarget()
66 SvalBuilder.makeArrayIndex(TypeSize.getQuantity()), in getExtentSizeOfNewTarget()
67 SvalBuilder.getArrayIndexType()); in getExtentSizeOfNewTarget()
72 llvm::APInt I(AstContext.getTypeSizeInChars(SvalBuilder.getArrayIndexType()) in getExtentSizeOfNewTarget()
[all …]
HDBasicObjCFoundationChecks.cpp927 SValBuilder &SvalBuilder = C.getSValBuilder(); in assumeCollectionNonEmpty() local
929 SvalBuilder.evalBinOp(State, BO_GT, in assumeCollectionNonEmpty()
931 SvalBuilder.makeIntVal(0, (*CountS)->getType()), in assumeCollectionNonEmpty()
932 SvalBuilder.getConditionType()); in assumeCollectionNonEmpty()
HDCStringChecker.cpp1199 SValBuilder &SvalBuilder = C.getSValBuilder(); in evalCopyCommon() local
1200 ASTContext &Ctx = SvalBuilder.getContext(); in evalCopyCommon()
1203 SvalBuilder.evalCast(destVal, CharPtrTy, Dest->getType()); in evalCopyCommon()
HDMallocChecker.cpp1262 SValBuilder &SvalBuilder = C.getSValBuilder(); in ProcessZeroAllocCheck() local
1264 SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in ProcessZeroAllocCheck()
1267 State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero)); in ProcessZeroAllocCheck()