HomeSort by: relevance | last modified time | path
    Searched refs:SvalBuilder (Results 1 - 6 of 6) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
DynamicExtent.cpp 18 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
29 const MemRegion *MR, SValBuilder &SVB) {
38 DefinedOrUnknownSVal getElementExtent(QualType Ty, SValBuilder &SVB) {
45 SValBuilder &SVB,
59 SValBuilder &SvalBuilder = State->getStateManager().getSValBuilder();
70 NonLoc OffsetInBytes = SvalBuilder.makeArrayIndex(
74 getDynamicExtent(State, BaseRegion, SvalBuilder);
76 return SvalBuilder.evalBinOp(State, BinaryOperator::Opcode::BO_Sub,
78 SvalBuilder.getArrayIndexType())
    [all...]
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
CheckPlacementNew.cpp 74 SValBuilder &SvalBuilder = C.getSValBuilder();
85 return SvalBuilder.evalBinOp(
87 SvalBuilder.makeArrayIndex(TypeSize.getQuantity()),
88 SvalBuilder.getArrayIndexType());
93 llvm::APInt I(AstContext.getTypeSizeInChars(SvalBuilder.getArrayIndexType())
97 return SvalBuilder.makeArrayIndex(I.getZExtValue());
BasicObjCFoundationChecks.cpp 927 SValBuilder &SvalBuilder = C.getSValBuilder();
929 SvalBuilder.evalBinOp(State, BO_GT,
931 SvalBuilder.makeIntVal(0, (*CountS)->getType()),
932 SvalBuilder.getConditionType());
936 // The SValBuilder cannot construct a valid SVal for this condition.
StdLibraryFunctionsChecker.cpp 333 SValBuilder &SvalBuilder = C.getSValBuilder();
338 const SVal SizeV = [this, &State, &Call, &Summary, &SvalBuilder]() {
340 return SVal(SvalBuilder.makeIntVal(*ConcreteSize));
349 SizeV = SvalBuilder.evalBinOp(State, BO_Mul, SizeV, SizeMulV,
358 SVal Feasible = SvalBuilder.evalBinOp(State, Op, SizeV, BufDynSize,
359 SvalBuilder.getContext().BoolTy);
616 SValBuilder &SVB = Mgr.getSValBuilder();
700 SValBuilder &SVB = Mgr.getSValBuilder();
729 SValBuilder &SVB = Mgr.getSValBuilder()
    [all...]
CStringChecker.cpp 289 SValBuilder &svalBuilder = C.getSValBuilder();
290 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);
291 return state->assume(svalBuilder.evalEQ(state, *val, zero));
384 SValBuilder &svalBuilder = C.getSValBuilder();
385 ASTContext &Ctx = svalBuilder.getContext();
409 NonLoc One = svalBuilder.makeIntVal(1, SizeTy).castAs<NonLoc>();
410 SVal Offset = svalBuilder.evalBinOpNN(State, BO_Sub, *Length, One, SizeTy);
417 svalBuilder.evalCast(BufVal, PtrTy, Buffer.Expression->getType())
    [all...]
MallocChecker.cpp 1006 SValBuilder &SB = C.getSValBuilder();
1184 SValBuilder &svalBuilder = C.getSValBuilder();
1185 SVal zeroVal = svalBuilder.makeZeroVal(svalBuilder.getContext().CharTy);
1214 SValBuilder &SB = C.getSValBuilder();
1328 SValBuilder &SvalBuilder = State->getStateManager().getSValBuilder();
1330 SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>();
1333 State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero))
    [all...]

Completed in 55 milliseconds