HomeSort by: relevance | last modified time | path
    Searched refs:DefinedSVal (Results 1 - 25 of 32) sorted by relevancy

1 2

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
ConstraintManager.cpp 25 static DefinedSVal getLocFromSymbol(const ProgramStateRef &State,
35 DefinedSVal V = Loc::isLocType(Ty) ? getLocFromSymbol(State, Sym)
CheckerContext.cpp 119 std::tie(StTrue, StFalse) = State->assume(Eval.castAs<DefinedSVal>());
124 DefinedSVal V = getSValBuilder().makeIntVal(Val, getASTContext().LongLongTy);
129 DefinedSVal V = getSValBuilder().makeIntVal(0, false);
SimpleConstraintManager.cpp 26 DefinedSVal Cond,
38 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>();
SValBuilder.cpp 204 DefinedSVal SValBuilder::getMetadataSymbolVal(const void *symbolTag,
239 DefinedSVal SValBuilder::getMemberPointer(const NamedDecl *ND) {
256 DefinedSVal SValBuilder::getFunctionPointer(const FunctionDecl *func) {
260 DefinedSVal SValBuilder::getBlockPointer(const BlockDecl *block,
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
ObjCContainersChecker.cpp 66 REGISTER_MAP_WITH_PROGRAMSTATE(ArraySizeMap, SymbolRef, DefinedSVal)
83 State->set<ArraySizeMap>(ArraySym, SizeV.castAs<DefinedSVal>()));
126 const DefinedSVal *Size = State->get<ArraySizeMap>(ArraySym);
136 DefinedSVal Idx = IdxVal.castAs<DefinedSVal>();
STLAlgorithmModeling.cpp 133 assert(GreaterOrEqual.getAs<DefinedSVal>() &&
134 "Symbol comparison must be a `DefinedSVal`");
135 StateFound = StateFound->assume(GreaterOrEqual.castAs<DefinedSVal>(), true);
155 assert(Less.getAs<DefinedSVal>() &&
156 "Symbol comparison must be a `DefinedSVal`");
157 StateFound = StateFound->assume(Less.castAs<DefinedSVal>(), true);
DivZeroChecker.cpp 70 Optional<DefinedSVal> DV = Denom.getAs<DefinedSVal>();
VLASizeChecker.cpp 112 auto SizeD = C.getSVal(SizeE).castAs<DefinedSVal>();
175 DefinedSVal SizeD = SizeV.castAs<DefinedSVal>();
195 if (Optional<DefinedSVal> LessThanZeroDVal =
196 LessThanZeroVal.getAs<DefinedSVal>()) {
Iterator.cpp 280 if (auto DV = IsCappedFromAbove.getAs<DefinedSVal>()) {
290 if (auto DV = IsCappedFromBelow.getAs<DefinedSVal>()) {
311 assert(comparison.getAs<DefinedSVal>() &&
312 "Symbol comparison must be a `DefinedSVal`");
314 return !State->assume(comparison.castAs<DefinedSVal>(), false);
ObjCAtSyncChecker.cpp 62 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>());
GTestChecker.cpp 281 if (!ValuesEqual.getAs<DefinedSVal>())
285 State, ValuesEqual.castAs<DefinedSVal>(), true);
NonNullParamChecker.cpp 135 auto DV = V.getAs<DefinedSVal>();
160 DV = V.getAs<DefinedSVal>();
StreamChecker.cpp 171 DefinedSVal makeRetVal(CheckerContext &C, const CallExpr *CE) {
177 .castAs<DefinedSVal>();
182 DefinedSVal RetVal = makeRetVal(C, CE);
449 DefinedSVal RetVal = makeRetVal(C, CE);
491 Optional<DefinedSVal> StreamVal =
492 getStreamArg(Desc, Call).getAs<DefinedSVal>();
702 DefinedSVal RetVal = makeRetVal(C, CE);
819 auto Stream = StreamVal.getAs<DefinedSVal>();
UnixAPIChecker.cpp 246 DefinedSVal maskedFlags = maskedFlagsUC.castAs<DefinedSVal>();
329 state->assume(argVal.castAs<DefinedSVal>());
TestAfterDivZeroChecker.cpp 135 Optional<DefinedSVal> DSV = S.getAs<DefinedSVal>();
BasicObjCFoundationChecks.cpp 559 Optional<DefinedSVal> DefArgVal = ArgVal.getAs<DefinedSVal>();
862 Optional<DefinedSVal> KnownCollection = CollectionVal.getAs<DefinedSVal>();
933 Optional<DefinedSVal> CountGreaterThanZero =
934 CountGreaterThanZeroVal.getAs<DefinedSVal>();
IteratorModeling.cpp 523 const auto ConditionVal = RetVal.getAs<DefinedSVal>();
633 if (!Offset.getAs<DefinedSVal>())
803 assert(comparison.getAs<DefinedSVal>() &&
804 "Symbol comparison must be a `DefinedSVal`");
806 auto NewState = State->assume(comparison.castAs<DefinedSVal>(), Equal);
TrustNonnullChecker.cpp 231 State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated);
MallocChecker.cpp 988 DefinedSVal MaskedFlags = MaskedFlagsUC.castAs<DefinedSVal>();
1321 State->getSVal(Arg, Call.getLocationContext()).getAs<DefinedSVal>();
1329 DefinedSVal Zero =
1330 SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>();
1533 DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count)
1534 .castAs<DefinedSVal>();
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 86 DefinedSVal Cond,
93 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
SimpleConstraintManager.h 37 /// Ensures that the DefinedSVal conditional is expressed as a NonLoc by
39 ProgramStateRef assume(ProgramStateRef State, DefinedSVal Cond,
SVals.h 256 class DefinedSVal : public DefinedOrUnknownSVal {
265 DefinedSVal() = default;
266 explicit DefinedSVal(const void *d, bool isLoc, unsigned ValKind)
288 KnownSVal(const DefinedSVal &V) : SVal(V) {}
292 class NonLoc : public DefinedSVal {
296 : DefinedSVal(d, false, SubKind) {}
314 class Loc : public DefinedSVal {
318 : DefinedSVal(const_cast<void *>(D), true, SubKind) {}
SValBuilder.h 244 DefinedSVal getMetadataSymbolVal(const void *symbolTag,
250 DefinedSVal getMemberPointer(const NamedDecl *ND);
252 DefinedSVal getFunctionPointer(const FunctionDecl *func);
254 DefinedSVal getBlockPointer(const BlockDecl *block, CanQualType locTy,
316 DefinedSVal makeIntVal(uint64_t integer, QualType type) {
ProgramState.h 672 ->assume(this, Cond.castAs<DefinedSVal>(), Assumption);
681 ->assumeDual(this, Cond.castAs<DefinedSVal>());
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/BugReporter/
BugReporterVisitors.h 165 DefinedSVal Constraint;
175 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption)
344 DefinedSVal V;
357 SuppressInlineDefensiveChecksVisitor(DefinedSVal Val, const ExplodedNode *N);

Completed in 39 milliseconds

1 2