/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ConstraintManager.h | 67 virtual ProgramStateRef assume(ProgramStateRef state, 93 // We are careful to return the original state, /not/ StTrue, 107 virtual const llvm::APSInt* getSymVal(ProgramStateRef state, argument 112 virtual ProgramStateRef removeDeadBindings(ProgramStateRef state, 115 virtual void print(ProgramStateRef state, 120 virtual void EndPath(ProgramStateRef state) {} argument 122 /// Convenience method to query the state to see if a symbol is null or
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | BoolAssignmentChecker.cpp | 27 void emitReport(ProgramStateRef state, CheckerContext &C) const; 33 void BoolAssignmentChecker::emitReport(ProgramStateRef state, argument 35 if (ExplodedNode *N = C.addTransition(state)) { 79 ProgramStateRef state = C.getState(); 86 svalBuilder.evalBinOp(state, BO_GE, *DV, zeroVal, 99 llvm::tie(stateGE, stateLT) = CM.assumeDual(state, *greaterThanEqualToZero); 116 assert(stateGE == state); 122 svalBuilder.evalBinOp(state, BO_LE, *DV, OneVal, 135 llvm::tie(stateLE, stateGT) = CM.assumeDual(state, *lessThanEqToOne); 152 assert(stateLE == state); [all...] |
H A D | ChrootChecker.cpp | 28 // enum value that represent the jail state 35 // The state transition: 88 ProgramStateRef state = C.getState(); local 89 ProgramStateManager &Mgr = state->getStateManager(); 93 state = Mgr.addGDM(state, ChrootChecker::getTag(), (void*) ROOT_CHANGED); 94 C.addTransition(state); 98 ProgramStateRef state = C.getState(); local 99 ProgramStateManager &Mgr = state->getStateManager(); 101 // If there are no jail state i [all...] |
H A D | PthreadLockChecker.cpp | 45 // GDM Entry for tracking lock state. 51 ProgramStateRef state = C.getState(); local 63 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), 68 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), 73 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), 78 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), 84 ReleaseLock(C, CE, state->getSVal(CE->getArg(0), LCtx)); 95 ProgramStateRef state = C.getState(); 97 SVal X = state->getSVal(CE, C.getLocationContext()); 103 if (state [all...] |
/external/clang/test/CodeGenCXX/ |
H A D | rvalue-references.cpp | 47 C(int state) : state_(new int(state)) { } argument
|
/external/clang/test/SemaCXX/ |
H A D | constexpr-turing.cpp | 33 // Run turing machine 'tm' on tape 'tape' from state 'state'. Return number of 35 constexpr unsigned run(const State *tm, const Tape &tape, unsigned state) { argument 36 return state == halt ? 1 : 37 run(tm, move(update(tape, tm[state][tape.val].tape), 38 tm[state][tape.val].dir), 39 tm[state][tape.val].next) + 1; 42 // 3-state busy beaver. 14 steps. 50 // 4-state busy beaver. 108 steps.
|
/external/compiler-rt/lib/sanitizer_common/tests/ |
H A D | sanitizer_test_utils.h | 71 static inline uint32_t my_rand_r(uint32_t* state) { argument 72 return (*state = *state * 1103515245 + 12345) >> 16;
|
/external/e2fsprogs/e2fsck/ |
H A D | argv_parse.c | 50 int state = STATE_WHITESPACE; local 59 if (state == STATE_WHITESPACE) { 63 state = STATE_TOKEN; 77 if (state == STATE_QUOTED) { 79 state = STATE_TOKEN; 91 state = STATE_WHITESPACE; 95 state = STATE_QUOTED; 113 if (state != STATE_WHITESPACE)
|
/external/e2fsprogs/tests/progs/ |
H A D | random_exercise.c | 24 struct state { struct 26 int state; member in struct:state 34 struct state state_array[MAXFDS]; 45 state_array[i].state = STATE_CLEAR; 97 state_array[fd].state = STATE_CREATED; 127 state_array[fd].state = STATE_DELETED; 138 state_array[fd].state = STATE_CLEAR; 152 switch (state_array[fd].state) {
|
/external/eclipse-windowbuilder/propertysheet/src/org/eclipse/wb/core/controls/flyout/ |
H A D | IFlyoutPreferences.java | 50 * @return the state of flyout - {@link #STATE_OPEN} or {@link #STATE_COLLAPSED}. 70 * Sets the state of flyout - {@link #STATE_OPEN} or {@link #STATE_COLLAPSED}. 72 void setState(int state); argument
|
H A D | PluginFlyoutPreferences.java | 35 m_stateKey = prefix + ".flyout.state"; 47 public void initializeDefaults(int location, int state, int width) { argument 49 m_store.setDefault(m_stateKey, state); 74 public void setState(int state) { argument 75 m_store.setValue(m_stateKey, state);
|
/external/elfutils/libdwfl/ |
H A D | argp-std.c | 115 parse_opt (int key, char *arg, struct argp_state *state) argument 122 argp_failure (state, EXIT_FAILURE, 0, "%s: %s", 125 argp_failure (state, EXIT_FAILURE, errnum, "%s", msg); 141 Dwfl *dwfl = state->hook; 147 state->hook = dwfl; 157 state->hook = dwfl; 162 argp_error (state, "%s", 170 if (state->hook == NULL) 176 state->hook = dwfl; 183 if (state [all...] |
/external/expat/xmlwf/ |
H A D | ct.c | 7 int state = init; local 17 if (state == inAtom) 21 if (state == inAtom) 23 if (state != inString) 24 state++; 27 if (state > init) 28 --state; 29 else if (state != inString) 35 if (state == inAtom) 37 if (state [all...] |
H A D | xmlmime.c | 9 int state = init; local 14 if (state == inAtom) 21 if (state == inAtom) 25 if (state == inAtom) 27 if (state != inString) 28 state++; 31 if (state > init) 32 --state; 33 else if (state != inString) 39 if (state [all...] |
/external/guava/guava/src/com/google/common/util/concurrent/ |
H A D | AbstractExecutionThreadService.java | 40 /* use AbstractService for state management */ 132 return getServiceName() + " [" + state() + "]"; 149 @Override public final State state() { method in class:AbstractExecutionThreadService 150 return delegate.state();
|
H A D | AbstractService.java | 48 * The internal state, which equals external state unless 51 private State state = State.NEW; field in class:AbstractService 88 if (state == State.NEW) { 89 state = State.STARTING; 106 if (state == State.NEW) { 107 state = State.TERMINATED; 110 } else if (state == State.STARTING) { 113 } else if (state == State.RUNNING) { 114 state 225 public final State state() { method in class:AbstractService [all...] |
/external/icu4c/samples/uciter8/ |
H A D | uciter8.c | 221 uint32_t state; local 236 /* move to the middle and get the state */ 238 state=uiter_getState(iter1); 240 /* set the state into the second iterator and compare the results */ 242 uiter_setState(iter2, state, &errorCode); 244 log_err("%s->setState(0x%x) failed: %s\n", n, state, u_errorName(errorCode)); 322 /* test get/set state */
|
H A D | uit_len8.c | 352 i+=4; /* back to behind this supplementary code point for consistent state */ 470 iter->start+=4; /* back to behind this supplementary code point for consistent state */ 481 uint32_t state=(uint32_t)(iter->start<<1); local 483 state|=1; 485 return state; 489 lenient8IteratorSetState(UCharIterator *iter, uint32_t state, UErrorCode *pErrorCode) { argument 494 } else if(state==lenient8IteratorGetState(iter)) { 495 /* setting to the current state: no-op */ 497 int32_t index=(int32_t)(state>>1); /* UTF-8 index */ 498 state [all...] |
/external/ipsec-tools/src/racoon/missing/crypto/sha2/ |
H A D | sha2.h | 91 uint32_t state[8]; 96 uint64_t state[8]; 104 u_int32_t state[8]; member in struct:_SHA256_CTX 109 u_int64_t state[8]; member in struct:_SHA512_CTX
|
/external/iptables/extensions/ |
H A D | libxt_state.c | 19 "state match options:\n" 20 " [!] --state [INVALID|ESTABLISHED|NEW|RELATED|UNTRACKED][,...]\n" 25 {.name = "state", .id = O_STATE, .type = XTTYPE_STRING, 31 state_parse_state(const char *state, size_t len, struct xt_state_info *sinfo) argument 33 if (strncasecmp(state, "INVALID", len) == 0) 35 else if (strncasecmp(state, "NEW", len) == 0) 37 else if (strncasecmp(state, "ESTABLISHED", len) == 0) 39 else if (strncasecmp(state, "RELATED", len) == 0) 41 else if (strncasecmp(state, "UNTRACKED", len) == 0) 55 xtables_error(PARAMETER_PROBLEM, "Bad state \" [all...] |
H A D | libxt_u32.c | 113 int state = 0; local 130 if (state == 0) 148 if (state == 0) { 161 state = 1; 195 * state 1 - reading values: read a range if nothing 214 state = 0;
|
/external/jmdns/src/javax/jmdns/impl/tasks/state/ |
H A D | Announcer.java | 5 package javax.jmdns.impl.tasks.state; 20 * The Announcer sends an accumulated query of all announces, and advances the state of all serviceInfos, for which it has sent an announce. The Announcer also sends announcements and advances the state of JmDNS itself. 49 return super.toString() + " state: " + this.getTaskState(); 72 * @see javax.jmdns.impl.tasks.state.DNSStateTask#getTaskDescription() 81 * @see javax.jmdns.impl.tasks.state.DNSStateTask#checkRunCondition() 90 * @see javax.jmdns.impl.tasks.state.DNSStateTask#createOugoing() 99 * @see javax.jmdns.impl.tasks.state.DNSStateTask#buildOutgoingForDNS(javax.jmdns.impl.DNSOutgoing) 112 * @see javax.jmdns.impl.tasks.state.DNSStateTask#buildOutgoingForInfo(javax.jmdns.impl.ServiceInfoImpl, javax.jmdns.impl.DNSOutgoing) 125 * @see javax.jmdns.impl.tasks.state [all...] |
H A D | Canceler.java | 5 package javax.jmdns.impl.tasks.state; 47 return super.toString() + " state: " + this.getTaskState(); 72 * @see javax.jmdns.impl.tasks.state.DNSStateTask#getTaskDescription() 81 * @see javax.jmdns.impl.tasks.state.DNSStateTask#checkRunCondition() 90 * @see javax.jmdns.impl.tasks.state.DNSStateTask#createOugoing() 99 * @see javax.jmdns.impl.tasks.state.DNSStateTask#buildOutgoingForDNS(javax.jmdns.impl.DNSOutgoing) 112 * @see javax.jmdns.impl.tasks.state.DNSStateTask#buildOutgoingForInfo(javax.jmdns.impl.ServiceInfoImpl, javax.jmdns.impl.DNSOutgoing) 125 * @see javax.jmdns.impl.tasks.state.DNSStateTask#recoverTask(java.lang.Throwable) 134 * @see javax.jmdns.impl.tasks.state.DNSStateTask#advanceTask()
|
H A D | Prober.java | 5 package javax.jmdns.impl.tasks.state; 22 * The Prober sends three consecutive probes for all service infos that needs probing as well as for the host name. The state of each service info of the host name is advanced, when a probe has been sent for it. When the prober has run three times, 52 return super.toString() + " state: " + this.getTaskState(); 85 * @see javax.jmdns.impl.tasks.state.DNSStateTask#getTaskDescription() 94 * @see javax.jmdns.impl.tasks.state.DNSStateTask#checkRunCondition() 103 * @see javax.jmdns.impl.tasks.state.DNSStateTask#createOugoing() 112 * @see javax.jmdns.impl.tasks.state.DNSStateTask#buildOutgoingForDNS(javax.jmdns.impl.DNSOutgoing) 126 * @see javax.jmdns.impl.tasks.state.DNSStateTask#buildOutgoingForInfo(javax.jmdns.impl.ServiceInfoImpl, javax.jmdns.impl.DNSOutgoing) 140 * @see javax.jmdns.impl.tasks.state.DNSStateTask#recoverTask(java.lang.Throwable) 149 * @see javax.jmdns.impl.tasks.state [all...] |
H A D | Renewer.java | 5 package javax.jmdns.impl.tasks.state; 47 return super.toString() + " state: " + this.getTaskState(); 73 * @see javax.jmdns.impl.tasks.state.DNSStateTask#getTaskDescription() 82 * @see javax.jmdns.impl.tasks.state.DNSStateTask#checkRunCondition() 91 * @see javax.jmdns.impl.tasks.state.DNSStateTask#createOugoing() 100 * @see javax.jmdns.impl.tasks.state.DNSStateTask#buildOutgoingForDNS(javax.jmdns.impl.DNSOutgoing) 113 * @see javax.jmdns.impl.tasks.state.DNSStateTask#buildOutgoingForInfo(javax.jmdns.impl.ServiceInfoImpl, javax.jmdns.impl.DNSOutgoing) 126 * @see javax.jmdns.impl.tasks.state.DNSStateTask#recoverTask(java.lang.Throwable) 135 * @see javax.jmdns.impl.tasks.state.DNSStateTask#advanceTask()
|