Searched refs:DefinedSVal (Results 1 - 25 of 27) sorted by relevance

12

/external/clang/lib/StaticAnalyzer/Checkers/
H A DBoolAssignmentChecker.cpp72 const DefinedSVal *DV = dyn_cast<DefinedSVal>(&val);
84 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, valTy);
89 DefinedSVal *greaterThanEqualToZero =
90 dyn_cast<DefinedSVal>(&greaterThanOrEqualToZeroVal);
120 DefinedSVal OneVal = svalBuilder.makeIntVal(1, valTy);
125 DefinedSVal *lessThanEqToOne =
126 dyn_cast<DefinedSVal>(&lessThanEqToOneVal);
H A DObjCContainersChecker.cpp59 typedef llvm::ImmutableMap<SymbolRef, DefinedSVal> ArraySizeM;
83 C.addTransition(State->set<ArraySizeMap>(ArraySym, cast<DefinedSVal>(SizeV)));
126 const DefinedSVal *Size = State->get<ArraySizeMap>(ArraySym);
136 DefinedSVal Idx = cast<DefinedSVal>(IdxVal);
H A DAttrNonNullChecker.cpp53 DefinedSVal *DV = dyn_cast<DefinedSVal>(&V);
75 DV = dyn_cast<DefinedSVal>(&V);
H A DDivZeroChecker.cpp61 const DefinedSVal *DV = dyn_cast<DefinedSVal>(&Denom);
H A DObjCAtSyncChecker.cpp63 llvm::tie(notNullState, nullState) = state->assume(cast<DefinedSVal>(V));
H A DPthreadLockChecker.cpp109 DefinedSVal retVal = cast<DefinedSVal>(X);
H A DVLASizeChecker.cpp112 DefinedSVal sizeD = cast<DefinedSVal>(sizeV);
H A DUnixAPIChecker.cpp118 DefinedSVal maskedFlags = cast<DefinedSVal>(maskedFlagsUC);
202 state->assume(cast<DefinedSVal>(argVal));
H A DBasicObjCFoundationChecks.cpp409 DefinedSVal *DefArgVal = dyn_cast<DefinedSVal>(&ArgVal);
415 DefinedSVal zero = cast<DefinedSVal>(svalBuilder.makeZeroVal(Arg->getType()));
H A DStreamChecker.cpp224 DefinedSVal RetVal =
225 cast<DefinedSVal>(svalBuilder.conjureSymbolVal(0, CE, LCtx,
352 const DefinedSVal *DV = dyn_cast<DefinedSVal>(&SV);
H A DMallocChecker.cpp544 DefinedSVal RetVal =
545 cast<DefinedSVal>(svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count));
H A DMacOSKeychainAPIChecker.cpp432 if (State->assume(cast<DefinedSVal>(ArgSVal), false) &&
H A DCStringChecker.cpp214 DefinedSVal *val = dyn_cast<DefinedSVal>(&V);
/external/clang/lib/StaticAnalyzer/Core/
H A DConstraintManager.cpp22 static DefinedSVal getLocFromSymbol(const ProgramStateRef &State,
38 DefinedSVal V = Loc::isLocType(Ty) ? getLocFromSymbol(State, Sym)
H A DSimpleConstraintManager.h36 ProgramStateRef assume(ProgramStateRef state, DefinedSVal Cond,
H A DSValBuilder.cpp161 DefinedSVal SValBuilder::getMetadataSymbolVal(const void *symbolTag,
192 DefinedSVal SValBuilder::getFunctionPointer(const FunctionDecl *func) {
196 DefinedSVal SValBuilder::getBlockPointer(const BlockDecl *block,
H A DSimpleConstraintManager.cpp59 DefinedSVal Cond,
H A DExprEngineC.cpp849 DefinedSVal V2 = cast<DefinedSVal>(V2_untested);
H A DBugReporterVisitors.cpp220 llvm::tie(StNonZero, StZero) = State->assume(cast<DefinedSVal>(V));
H A DCallEvent.cpp399 if (isa<DefinedSVal>(ThisVal))
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h67 DefinedSVal Cond,
72 ProgramStatePair assumeDual(ProgramStateRef state, DefinedSVal Cond) {
H A DSVals.h202 class DefinedSVal : public DefinedOrUnknownSVal { class in namespace:clang::ento
210 explicit DefinedSVal(const void *d, bool isLoc, unsigned ValKind) function in class:clang::ento::DefinedSVal
219 class NonLoc : public DefinedSVal {
222 : DefinedSVal(d, false, SubKind) {}
233 class Loc : public DefinedSVal {
236 : DefinedSVal(const_cast<void*>(D), true, SubKind) {}
241 Loc(const Loc& X) : DefinedSVal(X.Data, true, X.getSubKind()) {}
H A DSValBuilder.h196 DefinedSVal getMetadataSymbolVal(
200 DefinedSVal getFunctionPointer(const FunctionDecl *func);
202 DefinedSVal getBlockPointer(const BlockDecl *block, CanQualType locTy,
249 DefinedSVal makeIntVal(uint64_t integer, QualType type) {
H A DProgramState.h619 return getStateManager().ConstraintMgr->assume(this, cast<DefinedSVal>(Cond),
629 cast<DefinedSVal>(Cond));
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitor.h134 DefinedSVal Constraint;
139 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption)

Completed in 198 milliseconds

12