| /frameworks/wilhelm/tools/permute/ |
| permute.c | 323 double sval = atof(&arg[2]); local
324 if (sval >= 0.1 && sval <= 1000.0)
325 meanSegmentLengthSeconds = sval;
|
| /prebuilts/gcc/linux-x86/host/i686-linux-glibc2.7-4.4.3/sysroot/usr/include/ |
| semaphore.h | 72 /* Get current value of SEM and store it in *SVAL. */
|
| /prebuilts/gcc/linux-x86/host/i686-linux-glibc2.7-4.6/sysroot/usr/include/ |
| semaphore.h | 72 /* Get current value of SEM and store it in *SVAL. */
|
| /prebuilts/gcc/linux-x86/host/x86_64-linux-glibc2.7-4.6/sysroot/usr/include/ |
| semaphore.h | 72 /* Get current value of SEM and store it in *SVAL. */
|
| /external/valgrind/main/helgrind/ |
| libhb_core.c | 105 SVal. */
114 // data decls: SVal //
119 typedef ULong SVal;
364 static inline Bool SVal__isC ( SVal s );
365 static inline VtsID SVal__unC_Rmin ( SVal s );
366 static inline VtsID SVal__unC_Wmin ( SVal s );
367 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini );
401 static void zsm_init ( void(*rcinc)(SVal), void(*rcdec)(SVal) );
403 static void zsm_sset_range ( Addr, SizeT, SVal );
1210 typedef struct { UChar count; SVal sval; } CountedSVal; member in struct:__anon29936
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| Checker.h | 186 const SVal &location, bool isLoad, const Stmt *S,
202 const SVal &location, const SVal &val, const Stmt *S,
395 const SVal &cond,
498 SVal Location;
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CallEvent.h | 160 SVal getSVal(const Stmt *S) const {
165 typedef SmallVectorImpl<SVal> ValueList;
243 virtual SVal getArgSVal(unsigned Index) const;
261 SVal getReturnValue() const;
318 typedef std::pair<Loc, SVal> FrameBindingTy;
562 virtual SVal getCXXThisVal() const;
691 virtual SVal getCXXThisVal() const;
746 SVal getCXXThisVal() const;
863 SVal getReceiverSVal() const;
866 SVal getSelfSVal() const
[all...] |
| /external/clang/www/analyzer/ |
| checker_dev_manual.html | 128 During symbolic execution, <a href="http://clang.llvm.org/doxygen/classclang_1_1ento_1_1SVal.html">SVal</a>
137 number. In some cases, <tt>SVal</tt> is not a symbol, but it really should be
140 <tt>SVal</tt> will evaluate to <a href="http://clang.llvm.org/doxygen/classclang_1_1ento_1_1UnknownVal.html">UnknownVal</a>.
178 we first construct an <tt>SVal</tt> that represents the lvalue of <tt>x</tt>, in
179 this case it is an <tt>SVal</tt> that references the <tt>MemRegion</tt> for <tt>x</tt>.
180 Afterwards, when we do the lvalue-to-rvalue conversion, we get a new <tt>SVal</tt>,
184 and get an <tt>SVal</tt> that references the concrete number <tt>2</tt>. When
186 and create a new <tt>SVal</tt> that represents their multiplication (which in
189 and then bind the <tt>SVal</tt> for the RHS (which references the symbolic value <tt>$1</tt>)
193 dance, and create an <tt>SVal</tt> that references the symbol <tt>$0</tt>. Note, two <tt>SVals</tt>
[all...] |
| /external/chromium_org/native_client_sdk/src/libraries/third_party/pthreads-win32/ |
| semaphore.h | 160 int * sval);
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| CastSizeChecker.cpp | 57 SVal extent = SR->getExtent(svalBuilder);
|
| CheckerDocumentation.cpp | 128 void checkLocation(SVal Loc, bool IsLoad, const Stmt *S,
138 void checkBind(SVal Loc, SVal Val, const Stmt *S, CheckerContext &) const {}
208 SVal Cond,
|
| DivZeroChecker.cpp | 60 SVal Denom = C.getState()->getSVal(B->getRHS(), C.getLocationContext());
|
| ExprInspectionChecker.cpp | 63 SVal AssertionVal = State->getSVal(Assertion, LC);
|
| ObjCAtSyncChecker.cpp | 42 SVal V = state->getSVal(Ex, C.getLocationContext());
|
| ReturnPointerRangeChecker.cpp | 42 SVal V = state->getSVal(RetE, C.getLocationContext());
|
| StackAddrEscapeChecker.cpp | 128 SVal V = C.getState()->getSVal(RetE, LCtx);
180 const MemRegion *region, SVal val) {
|
| BasicObjCFoundationChecks.cpp | 411 SVal TheTypeVal = state->getSVal(CE->getArg(1), LCtx);
431 SVal TheValueExpr = state->getSVal(CE->getArg(2), LCtx);
535 SVal ArgVal = state->getSVal(Arg, C.getLocationContext());
847 SVal CollectionVal = C.getSVal(FCS->getCollection());
893 SVal Val = State->getSVal(*ElementLoc);
914 SVal CountGreaterThanZeroVal =
922 // The SValBuilder cannot construct a valid SVal for this condition.
958 SVal CollectionSentinel = C.getSVal(FCS);
[all...] |
| UnixAPIChecker.cpp | 104 const SVal V = state->getSVal(oflagsEx, C.getLocationContext());
113 SVal maskedFlagsUC = C.getSValBuilder().evalBinOpNN(state, BO_And,
199 const SVal argVal,
249 SVal argVal = state->getSVal(arg, C.getLocationContext());
277 SVal argVal = state->getSVal(arg, C.getLocationContext());
|
| StreamChecker.cpp | 95 ProgramStateRef CheckNullStream(SVal SV, ProgramStateRef state,
261 SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext());
338 ProgramStateRef StreamChecker::CheckNullStream(SVal SV, ProgramStateRef state,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| CheckerContext.cpp | 25 SVal L = State->getSVal(Callee, Pred->getLocationContext());
|
| ExprEngineCallAndReturn.cpp | 124 static SVal adjustReturnValue(SVal V, QualType ExpectedTy, QualType ActualTy,
199 static bool isTemporaryPRValue(const CXXConstructExpr *E, SVal V) {
247 SVal V = state->getSVal(RS, LCtx);
268 SVal ThisV = state->getSVal(This);
555 SVal ThisV = C->getCXXThisVal();
568 SVal R = SVB.conjureSymbolVal(0, E, LCtx, ResultTy, Count);
[all...] |
| BugReporterVisitors.cpp | 207 SVal RetVal = State->getSVal(S, Node->getLocationContext());
253 SVal V = State->getSVal(Ret, StackFrame);
267 SVal RValue = State->getRawSVal(*LValue, RetE->getType());
566 SVal V = State->getSVal(S, PS->getLocationContext());
[all...] |
| /external/dnsmasq/src/ |
| rfc1035.c | 1030 char *sval; local
1050 sval = va_arg(ap, char *);
1051 memcpy(p, sval, IN6ADDRSZ);
1057 sval = va_arg(ap, char *);
1058 memcpy(p, sval, INADDRSZ);
1082 sval = va_arg(ap, char *);
1083 memcpy(p, sval, usval);
1088 sval = va_arg(ap, char *);
1089 usval = sval ? strlen(sval) : 0
[all...] |
| /external/srec/tools/grxmlcompile/ |
| grxmldoc.cpp | 61 std::string sval; local
64 sval.assign( s, 0, p1 );
65 if(strspn(sval.c_str(),"0123456789")<1) return 1;
66 *minCnt = atoi( sval.c_str() );
67 sval.assign( s, p1+1, s.size() );
70 if (!sval.empty() ) {
71 if(strspn(sval.c_str(),"0123456789")<1) return 1;
72 *maxCnt = atoi( sval.c_str() );
78 sval.assign( s, 0, p1 );
79 if(strspn(sval.c_str(),"0123456789")<1) return 1
[all...] |
| /hardware/ti/omap4xxx/domx/mm_osal/src/ |
| timm_osal_semaphores.c | 276 int sval = -2; /*value that is not possible */ local
286 if (SUCCESS != sem_getvalue(psem, &sval))
291 *count = sval;
|
