/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | BoolAssignmentChecker.cpp | 72 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 D | ObjCContainersChecker.cpp | 59 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 D | AttrNonNullChecker.cpp | 53 DefinedSVal *DV = dyn_cast<DefinedSVal>(&V); 75 DV = dyn_cast<DefinedSVal>(&V);
|
H A D | DivZeroChecker.cpp | 61 const DefinedSVal *DV = dyn_cast<DefinedSVal>(&Denom);
|
H A D | ObjCAtSyncChecker.cpp | 63 llvm::tie(notNullState, nullState) = state->assume(cast<DefinedSVal>(V));
|
H A D | PthreadLockChecker.cpp | 109 DefinedSVal retVal = cast<DefinedSVal>(X);
|
H A D | VLASizeChecker.cpp | 112 DefinedSVal sizeD = cast<DefinedSVal>(sizeV);
|
H A D | UnixAPIChecker.cpp | 118 DefinedSVal maskedFlags = cast<DefinedSVal>(maskedFlagsUC); 202 state->assume(cast<DefinedSVal>(argVal));
|
H A D | BasicObjCFoundationChecks.cpp | 409 DefinedSVal *DefArgVal = dyn_cast<DefinedSVal>(&ArgVal); 415 DefinedSVal zero = cast<DefinedSVal>(svalBuilder.makeZeroVal(Arg->getType()));
|
H A D | StreamChecker.cpp | 224 DefinedSVal RetVal = 225 cast<DefinedSVal>(svalBuilder.conjureSymbolVal(0, CE, LCtx, 352 const DefinedSVal *DV = dyn_cast<DefinedSVal>(&SV);
|
H A D | MallocChecker.cpp | 544 DefinedSVal RetVal = 545 cast<DefinedSVal>(svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count));
|
H A D | MacOSKeychainAPIChecker.cpp | 432 if (State->assume(cast<DefinedSVal>(ArgSVal), false) &&
|
H A D | CStringChecker.cpp | 214 DefinedSVal *val = dyn_cast<DefinedSVal>(&V);
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | ConstraintManager.cpp | 22 static DefinedSVal getLocFromSymbol(const ProgramStateRef &State, 38 DefinedSVal V = Loc::isLocType(Ty) ? getLocFromSymbol(State, Sym)
|
H A D | SimpleConstraintManager.h | 36 ProgramStateRef assume(ProgramStateRef state, DefinedSVal Cond,
|
H A D | SValBuilder.cpp | 161 DefinedSVal SValBuilder::getMetadataSymbolVal(const void *symbolTag, 192 DefinedSVal SValBuilder::getFunctionPointer(const FunctionDecl *func) { 196 DefinedSVal SValBuilder::getBlockPointer(const BlockDecl *block,
|
H A D | SimpleConstraintManager.cpp | 59 DefinedSVal Cond,
|
H A D | ExprEngineC.cpp | 849 DefinedSVal V2 = cast<DefinedSVal>(V2_untested);
|
H A D | BugReporterVisitors.cpp | 220 llvm::tie(StNonZero, StZero) = State->assume(cast<DefinedSVal>(V));
|
H A D | CallEvent.cpp | 399 if (isa<DefinedSVal>(ThisVal))
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ConstraintManager.h | 67 DefinedSVal Cond, 72 ProgramStatePair assumeDual(ProgramStateRef state, DefinedSVal Cond) {
|
H A D | SVals.h | 202 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 D | SValBuilder.h | 196 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 D | ProgramState.h | 619 return getStateManager().ConstraintMgr->assume(this, cast<DefinedSVal>(Cond), 629 cast<DefinedSVal>(Cond));
|
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
H A D | BugReporterVisitor.h | 134 DefinedSVal Constraint; 139 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption)
|