Searched refs:SVal (Results 26 - 50 of 77) sorted by relevance

1234

/external/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp39 SVal LeftV = state->getSVal(LHS, LCtx);
40 SVal RightV = state->getSVal(RHS, LCtx);
53 SVal ExprVal = B->isLValue() ? LeftV : RightV;
63 SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType());
94 SVal location = LeftV;
102 SVal V = state->getSVal(LHS, LCtx);
119 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy),
125 SVal LHSVal;
165 SVal V = svalBuilder.getBlockPointer(BE->getBlockDecl(), T,
230 // Copy the SVal o
[all...]
H A DSimpleSValBuilder.cpp23 virtual SVal dispatchCast(SVal val, QualType castTy);
24 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy);
25 virtual SVal evalCastFromLoc(Loc val, QualType castTy);
33 virtual SVal evalMinus(NonLoc val);
34 virtual SVal evalComplement(NonLoc val);
35 virtual SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op,
37 virtual SVal evalBinOpLL(ProgramStateRef state, BinaryOperator::Opcode op,
39 virtual SVal evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op,
42 /// getKnownValue - evaluates a given SVal
[all...]
H A DSValBuilder.cpp26 // Basic SVal creation.
76 SVal SValBuilder::convertToArrayIndex(SVal val) {
198 SVal SValBuilder::makeGenericVal(ProgramStateRef State,
225 SVal SValBuilder::evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
226 SVal lhs, SVal rhs, QualType type) {
285 SVal SValBuilder::evalCast(SVal val, QualType castTy, QualType originalTy) {
307 return R ? SVal(lo
[all...]
H A DProgramState.cpp116 SVal V) const {
122 ProgramStateRef ProgramState::bindDecl(const VarRegion* VR, SVal IVal) const {
134 ProgramStateRef ProgramState::bindLoc(Loc LV, SVal V) const {
145 ProgramStateRef ProgramState::bindDefault(SVal loc, SVal V) const {
213 SVal ProgramState::getSValAsScalarOrLoc(const MemRegion *R) const {
229 SVal ProgramState::getSVal(Loc location, QualType T) const {
230 SVal V = getRawSVal(cast<Loc>(location), T);
268 SVal V, bool Invalidate) const{
282 SVal locatio
[all...]
H A DCheckerContext.cpp25 SVal L = State->getSVal(Callee, Pred->getLocationContext());
H A DExprEngineCXX.cpp47 SVal V = state->getSVal(tempExpr, Pred->getLocationContext());
223 SVal val = state->getSVal(*ai, (*I)->getLocationContext());
244 SVal V = state->getSVal(*CNE->constructor_arg_begin(),
277 SVal V = svalBuilder.getConjuredSymbolVal(CS, LCtx, VD->getType(),
298 SVal V = state->getSVal(loc::MemRegionVal(R));
H A DExprEngine.cpp127 SVal V = state->getSVal(loc::MemRegionVal(R));
128 SVal Constraint_untested = evalBinOp(state, BO_GT, V,
150 SVal V = state->getSVal(loc::MemRegionVal(R));
167 SVal V = state->getSVal(L);
186 SVal cond, bool assumption) {
372 SVal thisVal = Pred->getState()->getSVal(thisReg);
382 SVal FieldLoc = state->getLValue(FD, thisVal);
383 SVal InitVal = state->getSVal(BMI->getInit(), Pred->getLocationContext());
398 SVal baseVal =
573 SVal va
[all...]
H A DExprEngineCallAndReturn.cpp82 SVal V = state->getSVal(RS, LCtx);
91 SVal ThisV = state->getSVal(ThisR);
308 SVal CalleeVal = Call.getFunctionCallee();
323 SVal V = Call.getArgSVal(idx);
429 SVal L = state->getSVal(Callee, Pred->getLocationContext());
445 SVal RetVal = SVB.getConjuredSymbolVal(0, CE, LCtx, ResultTy, Count);
/external/clang/lib/StaticAnalyzer/Checkers/
H A DFixedAddressChecker.cpp48 SVal RV = state->getSVal(B->getRHS(), C.getLocationContext());
H A DObjCContainersChecker.cpp42 SVal ArrayRef = C.getState()->getSVal(E, C.getLocationContext());
73 SVal SizeV = State->getSVal(Size, C.getLocationContext());
79 SVal ArrayRef = State->getSVal(Array, C.getLocationContext());
134 SVal IdxVal = State->getSVal(IdxExpr, C.getLocationContext());
H A DNSErrorChecker.cpp160 void checkLocation(SVal loc, bool isLoad, const Stmt *S,
185 static bool hasFlag(SVal val, ProgramStateRef state) {
193 static void setFlag(ProgramStateRef state, SVal val, CheckerContext &C) {
194 // We tag the symbol that the SVal wraps.
199 static QualType parameterTypeFromSVal(SVal val, CheckerContext &C) {
214 void NSOrCFErrorDerefChecker::checkLocation(SVal loc, bool isLoad,
226 // SVal so that we can later check it when handling the
255 SVal loc = event.Location;
H A DMallocChecker.cpp124 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
126 void checkLocation(SVal l, bool isLoad, const Stmt *S,
128 void checkBind(SVal location, SVal val, const Stmt*S,
151 const Expr *SizeEx, SVal Init,
159 SVal SizeEx, SVal Init,
186 static bool SummarizeValue(raw_ostream &os, SVal V);
188 void ReportBadFree(CheckerContext &C, SVal ArgVal, SourceRange range) const;
423 SVal Siz
[all...]
H A DVLASizeChecker.cpp94 SVal sizeV = state->getSVal(SE, C.getLocationContext());
138 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy);
141 SVal ArraySizeVal = svalBuilder.evalBinOpNN(state, BO_Mul, ArrayLength,
H A DAttrNonNullChecker.cpp40 SVal X = state->getSVal(CE->getCallee(), LCtx);
59 SVal V = state->getSVal(*I, LCtx);
H A DAdjustedReturnValueChecker.cpp43 SVal V = state->getSVal(CE, LCtx);
H A DBuiltinFunctionChecker.cpp49 SVal X = state->getSVal(*(CE->arg_begin()), LCtx);
61 // SVal of the argument directly. If we save the extent in bits, we
H A DObjCAtSyncChecker.cpp43 SVal V = state->getSVal(Ex, C.getLocationContext());
H A DReturnPointerRangeChecker.cpp42 SVal V = state->getSVal(RetE, C.getLocationContext());
H A DCallAndMessageChecker.cpp46 static bool PreVisitProcessArg(CheckerContext &C, SVal V,SourceRange argRange,
101 SVal V, SourceRange argRange,
155 const SVal &V = StoreMgr.getBinding(store, loc::MemRegionVal(FR));
216 SVal L = C.getState()->getSVal(Callee, LCtx);
246 SVal recVal = state->getSVal(receiver, LCtx);
338 SVal V = C.getSValBuilder().makeZeroVal(msg.getType(Ctx));
375 SVal V = C.getSValBuilder().makeZeroVal(msg.getType(Ctx));
H A DUnixAPIChecker.cpp103 const SVal V = state->getSVal(oflagsEx, C.getLocationContext());
113 SVal maskedFlagsUC = C.getSValBuilder().evalBinOpNN(state, BO_And,
198 const SVal argVal,
249 SVal argVal = state->getSVal(arg, C.getLocationContext());
277 SVal argVal = state->getSVal(arg, C.getLocationContext());
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DObjCMessage.h82 SVal getInstanceReceiverSVal(ProgramStateRef State,
124 SVal getArgSVal(unsigned i,
216 SVal getFunctionCallee() const;
217 SVal getCXXCallee() const;
218 SVal getInstanceMessageReceiver(const LocationContext *LC) const;
232 SVal getArgSVal(unsigned i) const {
H A DConstraintManager.h65 /// all SVal values. This method returns true if the ConstraintManager can
66 /// reasonably handle a given SVal value. This is typically queried by
69 virtual bool canReasonAbout(SVal X) const = 0;
/external/valgrind/main/helgrind/
H A Dlibhb_core.c104 SVal. */
113 // data decls: SVal //
118 typedef ULong SVal; typedef
363 static inline Bool SVal__isC ( SVal s );
364 static inline VtsID SVal__unC_Rmin ( SVal s );
365 static inline VtsID SVal__unC_Wmin ( SVal s );
366 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini );
400 static void zsm_init ( void(*rcinc)(SVal), void(*rcdec)(SVal) );
402 static void zsm_sset_range ( Addr, SizeT, SVal );
[all...]
/external/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h37 class SVal;
232 SVal location,
241 SVal location, SVal val,
300 SVal Cond, bool Assumption);
348 typedef CheckerFn<void (const SVal &location, bool isLoad,
353 typedef CheckerFn<void (const SVal &location, const SVal &val,
381 const SVal &cond, bool assumption)>
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitor.h101 SVal V;
116 FindLastStoreBRVisitor(SVal v, const MemRegion *r)

Completed in 199 milliseconds

1234