Searched refs:SvalBuilder (Results 1 – 9 of 9) sorted by relevance
| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | DynamicSize.cpp | 48 SValBuilder &SvalBuilder = State->getStateManager().getSValBuilder(); in getDynamicSizeWithOffset() local
59 NonLoc OffsetInBytes = SvalBuilder.makeArrayIndex( in getDynamicSizeWithOffset()
63 getDynamicSize(State, BaseRegion, SvalBuilder); in getDynamicSizeWithOffset()
65 return SvalBuilder.evalBinOp(State, BinaryOperator::Opcode::BO_Sub, in getDynamicSizeWithOffset()
67 SvalBuilder.getArrayIndexType()); in getDynamicSizeWithOffset()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| 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()
|
| D | BasicObjCFoundationChecks.cpp | 927 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()
|
| D | StdLibraryFunctionsChecker.cpp | 292 SValBuilder &SvalBuilder = C.getSValBuilder(); in apply() local
297 const SVal SizeV = [this, &State, &Call, &Summary, &SvalBuilder]() { in apply()
299 return SVal(SvalBuilder.makeIntVal(*ConcreteSize)); in apply()
306 SizeV = SvalBuilder.evalBinOp(State, BO_Mul, SizeV, SizeMulV, in apply()
319 SVal Feasible = SvalBuilder.evalBinOp(State, Op, SizeV, BufDynSize, in apply()
320 SvalBuilder.getContext().BoolTy); in apply()
|
| D | CStringChecker.cpp | 1186 SValBuilder &SvalBuilder = C.getSValBuilder(); in evalCopyCommon() local
1187 ASTContext &Ctx = SvalBuilder.getContext(); in evalCopyCommon()
1190 SvalBuilder.evalCast(destVal, CharPtrTy, Dest.Expression->getType()); in evalCopyCommon()
|
| D | MallocChecker.cpp | 1332 SValBuilder &SvalBuilder = State->getStateManager().getSValBuilder(); in ProcessZeroAllocCheck() local
1334 SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in ProcessZeroAllocCheck()
1337 State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero)); in ProcessZeroAllocCheck()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | BasicObjCFoundationChecks.cpp | 955 SValBuilder &SvalBuilder = C.getSValBuilder(); in assumeCollectionNonEmpty() local
957 SvalBuilder.evalBinOp(State, BO_GT, in assumeCollectionNonEmpty()
959 SvalBuilder.makeIntVal(0, (*CountS)->getType()), in assumeCollectionNonEmpty()
960 SvalBuilder.getConditionType()); in assumeCollectionNonEmpty()
|
| D | CStringChecker.cpp | 1057 SValBuilder &SvalBuilder = C.getSValBuilder(); in evalCopyCommon() local
1058 ASTContext &Ctx = SvalBuilder.getContext(); in evalCopyCommon()
1060 loc::MemRegionVal DestRegCharVal = SvalBuilder.evalCast(destRegVal, in evalCopyCommon()
|
| D | MallocChecker.cpp | 892 SValBuilder &SvalBuilder = C.getSValBuilder(); in ProcessZeroAllocation() local
894 SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in ProcessZeroAllocation()
897 State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero)); in ProcessZeroAllocation()
|