| /external/clang/lib/StaticAnalyzer/Checkers/ |
| 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);
|
| ObjCContainersChecker.cpp | 60 typedef llvm::ImmutableMap<SymbolRef, DefinedSVal> ArraySizeM;
84 C.addTransition(State->set<ArraySizeMap>(ArraySym, cast<DefinedSVal>(SizeV)));
127 const DefinedSVal *Size = State->get<ArraySizeMap>(ArraySym);
137 DefinedSVal Idx = cast<DefinedSVal>(IdxVal);
|
| AttrNonNullChecker.cpp | 60 DefinedSVal *DV = dyn_cast<DefinedSVal>(&V);
77 DV = dyn_cast<DefinedSVal>(&V);
|
| DivZeroChecker.cpp | 65 const DefinedSVal *DV = dyn_cast<DefinedSVal>(&Denom);
|
| ObjCAtSyncChecker.cpp | 65 llvm::tie(notNullState, nullState) = state->assume(cast<DefinedSVal>(V));
|
| PthreadLockChecker.cpp | 109 DefinedSVal retVal = cast<DefinedSVal>(X);
|
| VLASizeChecker.cpp | 113 DefinedSVal sizeD = cast<DefinedSVal>(sizeV);
|
| UnixAPIChecker.cpp | 118 DefinedSVal maskedFlags = cast<DefinedSVal>(maskedFlagsUC);
202 state->assume(cast<DefinedSVal>(argVal));
|
| BasicObjCFoundationChecks.cpp | 388 DefinedSVal *DefArgVal = dyn_cast<DefinedSVal>(&ArgVal);
394 DefinedSVal zero = cast<DefinedSVal>(svalBuilder.makeZeroVal(Arg->getType()));
|
| StreamChecker.cpp | 225 DefinedSVal RetVal =
226 cast<DefinedSVal>(svalBuilder.getConjuredSymbolVal(0, CE, LCtx, Count));
352 const DefinedSVal *DV = dyn_cast<DefinedSVal>(&SV);
|
| MacOSKeychainAPIChecker.cpp | 428 if (State->assume(cast<DefinedSVal>(ArgSVal), false) &&
|
| CStringChecker.cpp | 214 DefinedSVal *val = dyn_cast<DefinedSVal>(&V);
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 33 DefinedSVal Cond,
37 assumeDual(ProgramStateRef state, DefinedSVal Cond)
|
| SVals.h | 206 class DefinedSVal : public DefinedOrUnknownSVal {
214 explicit DefinedSVal(const void *d, bool isLoc, unsigned ValKind)
223 class NonLoc : public DefinedSVal {
226 : DefinedSVal(d, false, SubKind) {}
237 class Loc : public DefinedSVal {
240 : DefinedSVal(const_cast<void*>(D), true, SubKind) {}
245 Loc(const Loc& X) : DefinedSVal(X.Data, true, X.getSubKind()) {}
|
| SValBuilder.h | 192 DefinedSVal getMetadataSymbolVal(
196 DefinedSVal getFunctionPointer(const FunctionDecl *func);
198 DefinedSVal getBlockPointer(const BlockDecl *block, CanQualType locTy,
245 DefinedSVal makeIntVal(uint64_t integer, QualType type) {
|
| ProgramState.h | 618 return getStateManager().ConstraintMgr->assume(this, cast<DefinedSVal>(Cond),
628 cast<DefinedSVal>(Cond));
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporterVisitor.h | 135 DefinedSVal Constraint;
140 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption)
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| SimpleConstraintManager.h | 34 ProgramStateRef assume(ProgramStateRef state, DefinedSVal Cond,
|
| SValBuilder.cpp | 152 DefinedSVal SValBuilder::getMetadataSymbolVal(const void *symbolTag,
183 DefinedSVal SValBuilder::getFunctionPointer(const FunctionDecl *func) {
187 DefinedSVal SValBuilder::getBlockPointer(const BlockDecl *block,
|
| SimpleConstraintManager.cpp | 58 DefinedSVal Cond,
|
| ExprEngineC.cpp | 753 DefinedSVal V2 = cast<DefinedSVal>(V2_untested);
|
| ProgramState.cpp | 341 return CM.assume(this, cast<DefinedSVal>(inBound), Assumption);
|
| ExprEngine.cpp | [all...] |
