Searched refs:SVal (Results 1 - 25 of 76) sorted by path

1234

/external/antlr/antlr-3.4/runtime/Delphi/Sources/Antlr3.Runtime/
H A DAntlr.Runtime.Tree.pas901 function SVal: String;
1688 function SVal: String;
3968 function TTreePatternLexer.SVal: String;
4280 Lbl := FTokenizer.SVal;
4301 TokenName := FTokenizer.SVal;
4311 Arg := FTokenizer.SVal;
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporter.h199 void markInteresting(SVal V);
204 bool isInteresting(SVal V);
H A DBugReporterVisitor.h101 SVal V;
/external/clang/include/clang/StaticAnalyzer/Core/
H A DChecker.h186 const SVal &location, bool isLoad, const Stmt *S,
202 const SVal &location, const SVal &val, const Stmt *S,
426 const SVal &cond,
544 SVal Location;
H A DCheckerManager.h38 class SVal;
311 SVal location,
320 SVal location, SVal val,
403 SVal Cond, bool Assumption);
455 typedef CheckerFn<void (const SVal &location, bool isLoad,
460 typedef CheckerFn<void (const SVal &location, const SVal &val,
495 const SVal &cond, bool assumption)>
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DBasicValueFactory.h29 llvm::ImmutableList<SVal> L;
32 CompoundValData(QualType t, llvm::ImmutableList<SVal> l)
35 typedef llvm::ImmutableList<SVal>::iterator iterator;
40 llvm::ImmutableList<SVal> L);
73 llvm::ImmutableList<SVal>::Factory SValListFactory;
170 llvm::ImmutableList<SVal> Vals);
175 llvm::ImmutableList<SVal> getEmptySValList() {
179 llvm::ImmutableList<SVal> consVals(SVal X, llvm::ImmutableList<SVal>
[all...]
H A DCallEvent.h158 SVal getSVal(const Stmt *S) const {
163 typedef SmallVectorImpl<SVal> ValueList;
236 virtual SVal getArgSVal(unsigned Index) const;
254 SVal getReturnValue() const;
311 typedef std::pair<Loc, SVal> FrameBindingTy;
541 virtual SVal getCXXThisVal() const;
670 SVal getCXXThisVal() const override;
725 SVal getCXXThisVal() const;
839 SVal getReceiverSVal() const;
842 SVal getSelfSVa
[all...]
H A DCheckerContext.h195 SVal getSVal(const Stmt *S) const {
H A DConstraintManager.h140 /// all SVal values. This method returns true if the ConstraintManager can
141 /// reasonably handle a given SVal value. This is typically queried by
144 virtual bool canReasonAbout(SVal X) const = 0;
H A DEnvironment.h60 typedef llvm::ImmutableMap<EnvironmentEntry, SVal> BindingsTy;
68 SVal lookupExpr(const EnvironmentEntry &E) const;
77 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
116 Environment bindExpr(Environment Env, const EnvironmentEntry &E, SVal V,
H A DExprEngine.h269 ProgramStateRef processAssume(ProgramStateRef state, SVal cond,
449 SVal evalMinus(SVal X) {
453 SVal evalComplement(SVal X) {
459 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
464 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
465 NonLoc L, SVal R, QualType T) {
470 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op,
471 SVal LH
[all...]
H A DMemRegion.h1023 SVal Idx, const MemRegion* superRegion);
H A DProgramState.h85 Environment Env; // Maps a Stmt to its current SVal.
193 /// \brief Check if the given SVal is constrained to zero or is a zero
195 ConditionTruthVal isNull(SVal V) const;
207 SVal V, bool Invalidate = true) const;
210 SVal V,
213 ProgramStateRef bindLoc(SVal location, SVal V) const;
215 ProgramStateRef bindDefault(SVal loc, SVal V) const;
245 invalidateRegions(ArrayRef<SVal> Region
[all...]
H A DSValBuilder.h11 // "symbolical evaluators" which construct an SVal from an expression.
53 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy) = 0;
54 virtual SVal evalCastFromLoc(Loc val, QualType castTy) = 0;
59 virtual SVal dispatchCast(SVal val, QualType castTy) = 0;
85 SVal evalCast(SVal val, QualType castTy, QualType originalType);
87 virtual SVal evalMinus(NonLoc val) = 0;
89 virtual SVal evalComplement(NonLoc val) = 0;
93 virtual SVal evalBinOpN
[all...]
H A DSVals.h10 // This file defines SVal, Loc, and NonLoc, classes that represent
24 // Base SVal types.
41 /// SVal - This represents a symbolic expression, which can be either
44 class SVal { class in namespace:clang::ento
63 explicit SVal(const void *d, bool isLoc, unsigned ValKind) function in class:clang::ento::SVal
66 explicit SVal(BaseKind k, const void *D = nullptr) function in class:clang::ento::SVal
70 explicit SVal() : Data(nullptr), Kind(0) {} function in class:clang::ento::SVal
72 /// \brief Convert to the specified SVal type, asserting that this SVal is of
78 SVal
[all...]
H A DStore.h61 virtual SVal getBinding(Store store, Loc loc, QualType T = QualType()) = 0;
70 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
72 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
96 virtual SVal getLValueIvar(const ObjCIvarDecl *decl, SVal base);
98 virtual SVal getLValueField(const FieldDecl *D, SVal Base) {
102 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base);
114 virtual SVal ArrayToPointe
[all...]
H A DSubEngine.h106 SVal cond, bool assumption) = 0;
129 processPointerEscapedOnBind(ProgramStateRef State, SVal Loc, SVal Val) = 0;
/external/clang/lib/AST/
H A DExprConstant.cpp1557 APValue SVal; local
1558 if (!Evaluate(SVal, Info, E))
1560 if (SVal.isInt()) {
1561 Res = SVal.getInt();
1564 if (SVal.isFloat()) {
1565 Res = SVal.getFloat().bitcastToAPInt();
1568 if (SVal.isVector()) {
1575 for (unsigned i = 0; i < SVal.getVectorLength(); i++) {
1576 APValue &Elt = SVal.getVectorElt(i);
/external/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundChecker.cpp31 void checkLocation(SVal l, bool isLoad, const Stmt* S,
36 void ArrayBoundChecker::checkLocation(SVal l, bool isLoad, const Stmt* LoadS,
H A DArrayBoundCheckerV2.cpp39 void checkLocation(SVal l, bool isLoad, const Stmt*S,
47 SVal byteOffset;
53 RegionRawOffsetV2(const SubRegion* base, SVal offset)
61 SVal location);
68 static SVal computeExtentBegin(SValBuilder &svalBuilder,
84 void ArrayBoundCheckerV2::checkLocation(SVal location, bool isLoad,
111 SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion());
114 SVal lowerBound =
145 SVal upperbound
236 static inline SVal getValu
[all...]
H A DBasicObjCFoundationChecks.cpp446 SVal TheTypeVal = state->getSVal(CE->getArg(1), LCtx);
466 SVal TheValueExpr = state->getSVal(CE->getArg(2), LCtx);
574 SVal ArgVal = state->getSVal(Arg, C.getLocationContext());
891 SVal CollectionVal = C.getSVal(FCS->getCollection());
937 SVal Val = State->getSVal(*ElementLoc);
958 SVal CountGreaterThanZeroVal =
966 // The SValBuilder cannot construct a valid SVal for this condition.
1015 SVal CollectionSentinel = C.getSVal(FCS);
1217 SVal Val = State->getSVal(NonNullExpr, C.getLocationContext());
H A DBoolAssignmentChecker.cpp29 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
54 void BoolAssignmentChecker::checkBind(SVal loc, SVal val, const Stmt *S,
85 SVal greaterThanOrEqualToZeroVal =
93 // The SValBuilder cannot construct a valid SVal for this condition.
121 SVal lessThanEqToOneVal =
129 // The SValBuilder cannot construct a valid SVal for this condition.
H A DBuiltinFunctionChecker.cpp50 SVal X = state->getSVal(*(CE->arg_begin()), LCtx);
62 // SVal of the argument directly. If we save the extent in bits, we
81 SVal V = UnknownVal();
H A DCStringChecker.cpp124 ProgramStateRef state, SVal V, QualType Ty);
128 SVal strLength);
129 static SVal getCStringLengthForRegion(CheckerContext &C,
134 SVal getCStringLength(CheckerContext &C,
137 SVal Buf,
143 SVal val) const;
147 const Expr *Ex, SVal V,
157 SVal l) const;
161 SVal l,
200 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal)
[all...]
H A DCallAndMessageChecker.cpp66 bool PreVisitProcessArg(CheckerContext &C, SVal V, SourceRange ArgRange,
84 bool uninitRefOrPointer(CheckerContext &C, const SVal &V,
133 const SVal &V,
163 const SVal PSV = State->getSVal(SValMemRegion);
181 SVal V,
243 const SVal &V = StoreMgr.getBinding(store, loc::MemRegionVal(FR));
304 SVal L = State->getSVal(Callee, LCtx);
331 SVal Arg = C.getSVal(DE->getArgument());
360 SVal V = CC->getCXXThisVal();
437 SVal recVa
[all...]

Completed in 401 milliseconds

1234