| /external/clang/lib/StaticAnalyzer/Core/ |
| ExprEngineCXX.cpp | 41 SVal ThisVal;
61 SVal V = Call.getArgSVal(0);
92 static SVal makeZeroElementRegion(ProgramStateRef State, SVal LValue,
120 SVal LValue = State->getLValue(Var, LCtx);
132 SVal ThisVal = State->getSVal(ThisPtr);
135 SVal FieldVal;
274 SVal ThisVal = State->getSVal(ThisPtr);
282 SVal BaseVal = getStoreManager().evalDerivedToBase(ThisVal, CE->getType(),
302 SVal ZeroVal = svalBuilder.makeZeroVal(getContext().CharTy)
[all...] |
| ProgramState.cpp | 114 ProgramStateRef ProgramState::bindLoc(Loc LV, SVal V, bool notifyChanges) const {
125 ProgramStateRef ProgramState::bindDefault(SVal loc, SVal V) const {
136 typedef ArrayRef<SVal> ValueList;
146 SmallVector<SVal, 8> Values;
235 SVal ProgramState::getSValAsScalarOrLoc(const MemRegion *R) const {
251 SVal ProgramState::getSVal(Loc location, QualType T) const {
252 SVal V = getRawSVal(cast<Loc>(location), T);
292 SVal V, bool Invalidate) const{
326 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add
[all...] |
| SimpleSValBuilder.cpp | 24 SVal dispatchCast(SVal val, QualType castTy) override;
25 SVal evalCastFromNonLoc(NonLoc val, QualType castTy) override;
26 SVal evalCastFromLoc(Loc val, QualType castTy) override;
34 SVal evalMinus(NonLoc val) override;
35 SVal evalComplement(NonLoc val) override;
36 SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op,
38 SVal evalBinOpLL(ProgramStateRef state, BinaryOperator::Opcode op,
40 SVal evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op,
43 /// getKnownValue - evaluates a given SVal. If the SVal has only one possibl
[all...] |
| CallEvent.cpp | 165 SmallVector<SVal, 8> ValuesToInvalidate;
223 SVal CallEvent::getArgSVal(unsigned Index) const {
237 SVal CallEvent::getReturnValue() const {
329 SVal ArgVal = Call.getArgSVal(Idx);
435 SVal ThisVal = getCXXThisVal();
459 SVal CXXInstanceCall::getCXXThisVal() const {
465 SVal ThisVal = getSVal(Base);
538 SVal ThisVal = getCXXThisVal();
621 SVal ThisVal = loc::MemRegionVal(CapturedLambdaRegion);
633 SVal CXXConstructorCall::getCXXThisVal() const
[all...] |
| SValBuilder.cpp | 27 // Basic SVal creation.
76 SVal SValBuilder::convertToArrayIndex(SVal val) {
246 Optional<SVal> SValBuilder::getConstantVal(const Expr *E) {
301 Optional<SVal> Val = getConstantVal(SE);
332 SVal SValBuilder::makeSymExprValNN(ProgramStateRef State,
361 SVal SValBuilder::evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
362 SVal lhs, SVal rhs, QualType type) {
434 SVal SValBuilder::evalIntegralCast(ProgramStateRef state, SVal val
[all...] |
| /bionic/libc/bionic/ |
| semaphore.cpp | 76 static inline int SEMCOUNT_TO_VALUE(unsigned int sval) {
77 return (static_cast<int>(sval) >> SEMCOUNT_VALUE_SHIFT);
86 #define SEMCOUNT_DECREMENT(sval) (((sval) - (1U << SEMCOUNT_VALUE_SHIFT)) & SEMCOUNT_VALUE_MASK)
87 #define SEMCOUNT_INCREMENT(sval) (((sval) + (1U << SEMCOUNT_VALUE_SHIFT)) & SEMCOUNT_VALUE_MASK)
306 int sem_getvalue(sem_t* sem, int* sval) {
317 *sval = val;
|
| /external/annotation-tools/scene-lib/src/annotations/util/ |
| SceneOps.java | 315 V sval = subtrahend.get(key); local
316 if (sval == null) {
319 mval.accept(this, elemPair(sval, difference.vivify(key)));
349 Set<V> sval = subtrahend.get(key); local
350 if (sval == null) {
352 } else if (!sval.equals(mval)) {
355 Set<V> set = (Set<V>) sval.getClass().newInstance();
356 diff(mval, sval, set);
|
| /external/antlr/antlr-3.4/runtime/ObjC/ANTLR.framework/Headers/ |
| ANTLRTreePatternLexer.h | 62 NSMutableData *sval; variable
73 @property (retain, getter=getSval, setter=setSval:) NSMutableData *sval; variable
|
| /external/antlr/antlr-3.4/runtime/ObjC/ANTLR.framework/Versions/A/Headers/ |
| ANTLRTreePatternLexer.h | 62 NSMutableData *sval; variable
73 @property (retain, getter=getSval, setter=setSval:) NSMutableData *sval; variable
|
| /external/antlr/antlr-3.4/runtime/ObjC/ANTLR.framework/Versions/Current/Headers/ |
| ANTLRTreePatternLexer.h | 62 NSMutableData *sval; variable
73 @property (retain, getter=getSval, setter=setSval:) NSMutableData *sval; variable
|
| /external/antlr/antlr-3.4/runtime/ObjC/Framework/ |
| ANTLRTreePatternLexer.h | 62 NSMutableData *sval; variable
73 @property (retain, getter=getSval, setter=setSval:) NSMutableData *sval; variable
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| NSErrorChecker.cpp | 163 void checkLocation(SVal loc, bool isLoad, const Stmt *S,
174 static bool hasFlag(SVal val, ProgramStateRef state) {
182 static void setFlag(ProgramStateRef state, SVal val, CheckerContext &C) {
183 // We tag the symbol that the SVal wraps.
188 static QualType parameterTypeFromSVal(SVal val, CheckerContext &C) {
203 void NSOrCFErrorDerefChecker::checkLocation(SVal loc, bool isLoad,
215 // SVal so that we can later check it when handling the
244 SVal loc = event.Location;
|
| PointerArithChecker.cpp | 111 SVal S = State->getSVal(Region);
231 SVal SV = State->getSVal(CE, C.getLocationContext());
252 SVal AllocedVal = State->getSVal(NE, C.getLocationContext());
267 SVal CastedVal = State->getSVal(CastedExpr, C.getLocationContext());
285 SVal CastedVal = State->getSVal(CastedExpr, C.getLocationContext());
309 SVal Idx = State->getSVal(SubsExpr->getIdx(), C.getLocationContext());
328 SVal RHSVal = State->getSVal(Rhs, C.getLocationContext());
335 SVal LHSVal = State->getSVal(Lhs, C.getLocationContext());
|
| ObjCContainersChecker.cpp | 42 SVal ArrayRef = C.getState()->getSVal(E, C.getLocationContext());
69 SVal SizeV = State->getSVal(Size, C.getLocationContext());
75 SVal ArrayRef = State->getSVal(Array, C.getLocationContext());
131 SVal IdxVal = State->getSVal(IdxExpr, C.getLocationContext());
|
| VLASizeChecker.cpp | 97 SVal sizeV = state->getSVal(SE, C.getLocationContext());
139 SVal LessThanZeroVal = svalBuilder.evalBinOp(state, BO_LT, sizeD, Zero, Ty);
160 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy);
163 SVal ArraySizeVal = svalBuilder.evalBinOpNN(
|
| VforkChecker.cpp | 64 void checkBind(SVal L, SVal V, const Stmt *S, CheckerContext &C) const;
155 SVal VforkRetVal = Call.getReturnValue();
192 void VforkChecker::checkBind(SVal L, SVal V, const Stmt *S,
|
| CheckObjCDealloc.cpp | 120 ProgramStateRef evalAssume(ProgramStateRef State, SVal Cond,
153 bool isInInstanceDealloc(const CheckerContext &C, SVal &SelfValOut) const;
155 SVal &SelfValOut) const;
157 SVal &InstanceValOut) const;
265 SVal SelfVal;
291 SVal LVal = State->getLValue(PropImpl->getPropertyIvarDecl(), SelfVal);
296 SVal InitialVal = State->getSVal(LValLoc.getValue());
338 SVal DeallocedInstance;
411 ProgramStateRef ObjCDeallocChecker::evalAssume(ProgramStateRef State, SVal Cond,
497 SVal SelfVal
[all...] |
| DereferenceChecker.cpp | 40 void checkLocation(SVal location, bool isLoad, const Stmt* S,
42 void checkBind(SVal L, SVal V, const Stmt *S, CheckerContext &C) const;
189 void DereferenceChecker::checkLocation(SVal l, bool isLoad, const Stmt* S,
242 void DereferenceChecker::checkBind(SVal L, SVal V, const Stmt *S,
|
| /external/swiftshader/third_party/LLVM/lib/DebugInfo/ |
| DWARFFormValue.h | 29 int64_t sval; member in union:llvm::DWARFFormValue::ValueType::__anon36035
65 int64_t getSigned() const { return Value.sval; }
|
| /external/swiftshader/third_party/subzero/crosstest/ |
| test_strengthreduce_main.cpp | 34 int32_t SVal = Values[i];
46 std::cout << "multiplyByConstS" STR(suffix) "(" << SVal \
|
| /external/python/cpython2/Modules/_multiprocessing/ |
| semaphore.c | 381 int sval;
385 if (sem_getvalue(self->handle, &sval) < 0) {
387 } else if (sval >= self->maxvalue) {
516 int sval;
517 if (SEM_GETVALUE(self->handle, &sval) < 0)
521 if (sval < 0)
522 sval = 0;
523 return PyInt_FromLong((long)sval);
541 int sval;
542 if (SEM_GETVALUE(self->handle, &sval) < 0
[all...] |
| /external/python/cpython3/Modules/_multiprocessing/ |
| semaphore.c | 376 int sval;
380 if (sem_getvalue(self->handle, &sval) < 0) {
382 } else if (sval >= self->maxvalue) {
530 int sval;
531 if (SEM_GETVALUE(self->handle, &sval) < 0)
535 if (sval < 0)
536 sval = 0;
537 return PyLong_FromLong((long)sval);
555 int sval;
556 if (SEM_GETVALUE(self->handle, &sval) < 0
[all...] |
| /external/one-true-awk/ |
| run.c | 45 p->csub, p->ctype, p->sval);
255 i, NN(y->nval), y->fval, isarr(y) ? "(array)" : NN(y->sval), y->tval) );
283 y = execute((Node *)(fcn->sval)); /* execute body */
297 oargs[i]->sval = t->sval;
330 y->sval = tostring(x->sval);
425 if (is_number(fldtab[0]->sval)) {
426 fldtab[0]->fval = atof(fldtab[0]->sval);
479 xfree(x->sval);
[all...] |
| /external/ltp/testcases/open_posix_testsuite/conformance/interfaces/sem_getvalue/ |
| assertions.xml | 3 sem_getvalue will update the location referenced by sval to have the value
|
| /external/dnsmasq/src/ |
| util.c | 209 unsigned char *do_rfc1035_name(unsigned char *p, char *sval)
213 while (sval && *sval)
216 for (j = 0; *sval && (*sval != '.'); sval++, j++)
217 *p++ = *sval;
219 if (*sval)
220 sval++;
|
