| /external/clang/lib/StaticAnalyzer/Checkers/ |
| PthreadLockChecker.cpp | 71 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
76 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
81 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
86 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
92 ReleaseLock(C, CE, state->getSVal(CE->getArg(0), LCtx));
105 SVal X = state->getSVal(CE, C.getLocationContext());
|
| StreamChecker.cpp | 255 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
262 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
269 if (!(state = CheckNullStream(state->getSVal(CE->getArg(0),
273 SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext());
296 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
303 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
310 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
317 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
324 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
331 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext())
[all...] |
| UndefResultChecker.cpp | 41 if (state->getSVal(B, LCtx).isUndef()) {
55 if (state->getSVal(B->getLHS(), LCtx).isUndef()) {
59 else if (state->getSVal(B->getRHS(), LCtx).isUndef()) {
|
| ObjCContainersChecker.cpp | 41 SVal ArrayRef = C.getState()->getSVal(E, C.getLocationContext());
72 SVal SizeV = State->getSVal(Size, C.getLocationContext());
78 SVal ArrayRef = State->getSVal(Array, C.getLocationContext());
133 SVal IdxVal = State->getSVal(IdxExpr, C.getLocationContext());
|
| OSAtomicChecker.cpp | 42 SVal L = State->getSVal(Callee, LCtx);
110 SVal location = state->getSVal(theValueExpr, LCtx);
141 SVal theValueVal_untested = stateLoad->getSVal(theValueExpr, LCtx, true);
143 SVal oldValueVal_untested = stateLoad->getSVal(oldValueExpr, LCtx);
167 SVal val = stateEqual->getSVal(newValueExpr, LCtx);
|
| BuiltinFunctionChecker.cpp | 49 SVal X = state->getSVal(*(CE->arg_begin()), LCtx);
64 cast<DefinedOrUnknownSVal>(state->getSVal(*(CE->arg_begin()), LCtx));
|
| PointerArithChecker.cpp | 41 SVal LV = state->getSVal(B->getLHS(), LCtx);
42 SVal RV = state->getSVal(B->getRHS(), LCtx);
|
| PointerSubChecker.cpp | 44 SVal LV = state->getSVal(B->getLHS(), LCtx);
45 SVal RV = state->getSVal(B->getRHS(), LCtx);
|
| UndefCapturedBlockVarChecker.cpp | 61 cast<BlockDataRegion>(state->getSVal(BE,
79 SVal VRVal = state->getSVal(VR);
|
| FixedAddressChecker.cpp | 48 SVal RV = state->getSVal(B->getRHS(), C.getLocationContext());
|
| ReturnUndefChecker.cpp | 41 if (!C.getState()->getSVal(RetE, C.getLocationContext()).isUndef())
|
| UndefinedArraySubscriptChecker.cpp | 37 if (C.getState()->getSVal(A->getIdx(), C.getLocationContext()).isUndef()) {
|
| CStringChecker.cpp | 359 SVal BufVal = state->getSVal(FirstBuf, LCtx);
371 SVal LengthVal = state->getSVal(Size, LCtx);
397 BufVal = state->getSVal(SecondBuf, LCtx);
436 SVal firstVal = state->getSVal(First, LCtx);
437 SVal secondVal = state->getSVal(Second, LCtx);
489 SVal LengthVal = state->getSVal(Size, LCtx);
[all...] |
| UndefBranchChecker.cpp | 51 return St->getSVal(Ex, LCtx).isUndef();
63 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext());
|
| /external/antlr/antlr-3.4/runtime/ObjC/ANTLR.framework/Headers/ |
| ANTLRTreePatternLexer.h | 73 @property (retain, getter=getSval, setter=setSval:) NSMutableData *sval;
84 - (NSMutableData *)getSval;
|
| /external/antlr/antlr-3.4/runtime/ObjC/ANTLR.framework/Versions/A/Headers/ |
| ANTLRTreePatternLexer.h | 73 @property (retain, getter=getSval, setter=setSval:) NSMutableData *sval;
84 - (NSMutableData *)getSval;
|
| /external/antlr/antlr-3.4/runtime/ObjC/ANTLR.framework/Versions/Current/Headers/ |
| ANTLRTreePatternLexer.h | 73 @property (retain, getter=getSval, setter=setSval:) NSMutableData *sval;
84 - (NSMutableData *)getSval;
|
| /external/antlr/antlr-3.4/runtime/ObjC/Framework/ |
| ANTLRTreePatternLexer.h | 73 @property (retain, getter=getSval, setter=setSval:) NSMutableData *sval;
86 - (NSMutableData *)getSval;
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| ExprEngineC.cpp | 39 SVal LeftV = state->getSVal(LHS, LCtx);
40 SVal RightV = state->getSVal(RHS, LCtx);
122 SVal V = state->getSVal(LHS, LCtx);
200 SVal originalV = State->getSVal(loc::MemRegionVal(originalR));
228 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx));
274 SVal V = state->getSVal(Ex, LCtx);
310 SVal V = state->getSVal(Ex, LCtx);
319 SVal val = state->getSVal(Ex, LCtx);
327 SVal val = state->getSVal(Ex, LCtx);
406 SVal ILV = state->getSVal(ILE, Pred->getLocationContext())
[all...] |
| ExprEngineCXX.cpp | 35 SVal V = state->getSVal(tempExpr, LCtx);
98 SVal ThisVal = State->getSVal(ThisPtr);
127 SVal ThisVal = State->getSVal(ThisPtr);
252 SVal PlacementLoc = State->getSVal(CNE->getPlacementArg(0), LCtx);
267 SVal Location = State->getSVal(CNE, LCtx);
269 State = State->bindLoc(cast<Loc>(Location), State->getSVal(Init, LCtx));
314 SVal V = state->getSVal(loc::MemRegionVal(R));
|
| ExprEngine.cpp | 116 SVal V = state->getSVal(loc::MemRegionVal(R));
139 SVal V = state->getSVal(loc::MemRegionVal(R));
156 SVal V = state->getSVal(L);
371 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame));
388 SVal InitVal = State->getSVal(BMI->getInit(), stackFrame);
460 SVal ThisVal = Pred->getState()->getSVal(ThisPtr);
479 SVal FieldVal = State->getLValue(Member, cast<Loc>(State->getSVal(ThisVal)));
701 state->getSVal(B->getRHS(),
[all...] |
| BugReporterVisitors.cpp | 203 SVal V = State->getSVal(Ret, StackFrame);
284 if (Succ->getState()->getSVal(R) != V)
286 if (Pred->getState()->getSVal(R) == V)
518 SVal RVal = state->getSVal(L->getRegion());
539 SVal V = state->getSVal(R);
561 const SVal &V = state->getSVal(Receiver, N->getLocationContext());
600 SVal V = state->getSVal(S, N->getLocationContext());
754 SVal V = state->getSVal(R);
958 SVal V = state->getSVal(R);
[all...] |
| CallEvent.cpp | 216 return getSVal(ArgE);
366 return getSVal(getOriginExpr()->getCallee()).getAsFunctionDecl();
379 return getSVal(CE->getCallee()).getAsFunctionDecl();
393 SVal ThisVal = getSVal(Base);
507 const MemRegion *DataReg = getSVal(Callee).getAsRegion();
611 return getState()->getSVal(getState()->getRegion(SelfDecl, LCtx));
620 return getSVal(RecE);
638 SVal RecVal = getSVal(getOriginExpr()->getInstanceReceiver());
878 SVal ThisVal = State->getSVal(ThisPtr);
903 SVal ThisVal = State->getSVal(ThisPtr)
[all...] |
| /external/clang/examples/analyzer-plugin/ |
| MainCallChecker.cpp | 22 const FunctionDecl *FD = state->getSVal(Callee, LC).getAsFunctionDecl();
|
| /ndk/sources/host-tools/nawk-20071023/ |
| run.c | 316 dprintf( ("%s returns %g |%s| %o\n", s, getfval(z), getsval(z), z->tval) );
363 setsval(fp->retval, getsval(y));
368 setsval(fp->retval, getsval(y));
410 fp = openfile(mode, getsval(x));
467 s = getsval(y);
514 s = getsval(y);
553 s = getsval(x);
584 s = getsval(x);
589 t = getsval(y);
656 i = strcmp(getsval(x), getsval(y))
[all...] |
