/external/chromium_org/third_party/yasm/source/patched-yasm/modules/parsers/tasm/tests/ |
segment.asm | 5 assume es:data label
|
/external/chromium_org/tools/telemetry/telemetry/core/timeline/ |
inspector_importer.py | 15 ''' Checks if event_data is from the inspector timeline. We assume
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
ConstraintManager.h | 67 virtual ProgramStateRef assume(ProgramStateRef state, 76 ProgramStateRef StTrue = assume(State, Cond, true); 86 assert(assume(State, Cond, false) && "System is over constrained."); 91 ProgramStateRef StFalse = assume(State, Cond, false);
|
ProgramState.h | 158 // Various "assume" methods form the interface for adding constraints to 159 // symbolic values. A call to 'assume' indicates an assumption being placed 160 // on one or symbolic values. 'assume' methods take the following inputs: 164 // (2) The assumed constraint (which is specific to a given "assume" method). 169 // The output of "assume*" is a new ProgramState object with the added constraints. 178 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const; 183 /// This is more efficient than calling assume() twice. Note that one (but not 186 assume(DefinedOrUnknownSVal cond) const; 635 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, function in class:clang::ento::ProgramState 641 ->assume(this, Cond.castAs<DefinedSVal>(), Assumption) 645 ProgramState::assume(DefinedOrUnknownSVal Cond) const { function in class:clang::ento::ProgramState [all...] |
/external/clang/lib/StaticAnalyzer/Core/ |
SimpleConstraintManager.h | 36 ProgramStateRef assume(ProgramStateRef state, DefinedSVal Cond, 39 ProgramStateRef assume(ProgramStateRef state, Loc Cond, bool Assumption); 41 ProgramStateRef assume(ProgramStateRef state, NonLoc Cond, bool Assumption);
|
SimpleConstraintManager.cpp | 68 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager 72 return assume(state, *NV, Assumption); 73 return assume(state, Cond.castAs<Loc>(), Assumption); 76 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, Loc cond, function in class:clang::ento::SimpleConstraintManager 88 assert (false && "'Assume' not implemented for this Loc."); 118 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager 159 llvm_unreachable("'Assume' not implemented for this NonLoc");
|
/dalvik/vm/mterp/x86/ |
zcmp.S | 13 movl $$2,%eax # assume branch not taken
|
bincmp.S | 17 movl $$2,%eax # assume not taken
|
/external/clang/test/Analysis/inlining/ |
inline-defensive-checks.c | 115 void idcZero(int assume) { 116 if (assume)
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
PthreadLockChecker.cpp | 123 llvm::tie(lockFail, lockSucc) = state->assume(retVal); 126 llvm::tie(lockSucc, lockFail) = state->assume(retVal); 135 // Assume that the return value was 0. 136 lockSucc = state->assume(retVal, false);
|
BuiltinFunctionChecker.cpp | 73 state = state->assume(extentMatchesSizeArg, true);
|
ObjCAtSyncChecker.cpp | 63 llvm::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>()); 82 // under-constrained to be null or non-null, assume it is non-null
|
VLASizeChecker.cpp | 116 llvm::tie(stateNotZero, stateZero) = state->assume(sizeD); 123 // From this point on, assume that the size is not zero. 144 // Finally, assume that the array's extent matches the given size. 151 state = state->assume(sizeIsKnown, true); 153 // Assume should not fail at this point.
|
ExprInspectionChecker.cpp | 70 State->assume(AssertionVal.castAs<DefinedOrUnknownSVal>());
|
ReturnUndefChecker.cpp | 62 // is not available, but the return value expression has 'void' type, assume 106 llvm::tie(StNonNull, StNull) = C.getState()->assume(RetVal); 109 // Going forward, assume the location is non-null.
|
CStringChecker.cpp | 212 return state->assume(svalBuilder.evalEQ(state, *val, zero)); 252 // From here on, assume that the value is non-null. 442 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc)); 450 // assume the two expressions are not equal. 463 llvm::tie(stateTrue, stateFalse) = state->assume(*reverseTest); 508 llvm::tie(stateTrue, stateFalse) = state->assume(*OverlapTest); 516 // assume the two expressions don't overlap. 579 state->assume(willOverflow.castAs<DefinedOrUnknownSVal>()); 605 // From now on, assume an overflow didn't occur. 724 // so we can assume that the byte length is the correct C string length [all...] |
ArrayBoundCheckerV2.cpp | 124 state->assume(*lowerBoundToCheck); 132 // Otherwise, assume the constraint of the lower bound. 156 state->assume(*upperboundToCheck);
|
DereferenceChecker.cpp | 203 llvm::tie(notNullState, nullState) = state->assume(location); 243 State->assume(V.castAs<DefinedOrUnknownSVal>());
|
CallAndMessageChecker.cpp | 241 State->assume(L.castAs<DefinedOrUnknownSVal>()); 271 State->assume(V.castAs<DefinedOrUnknownSVal>()); 376 llvm::tie(notNilState, nilState) = state->assume(receiverVal); 474 // it most likely isn't nil. We should assume the semantics
|
UnixAPIChecker.cpp | 122 llvm::tie(trueState, falseState) = state->assume(maskedFlags); 203 state->assume(argVal.castAs<DefinedSVal>()); 259 // Assume the value is non-zero going forward. 295 // Assume the value is non-zero going forward.
|
/external/chromium_org/chrome/common/extensions/docs/examples/api/pageAction/pageaction_by_content/ |
background.js | 5 // Called when a message is passed. We assume that the content script
|
/external/chromium_org/v8/test/mjsunit/ |
for-in-special-cases.js | 76 // We do not assume that for-in enumerates elements in order. 102 // We do not assume that for-in enumerates elements in order.
|
/external/v8/test/mjsunit/ |
for-in-special-cases.js | 76 // We do not assume that for-in enumerates elements in order. 102 // We do not assume that for-in enumerates elements in order.
|
/external/chromium_org/content/test/data/indexeddb/ |
transaction_run_forever.js | 55 // If we've already looped 7 times, it's pretty safe to assume
|
/external/chromium_org/chrome/browser/resources/net_internals/ |
cros_log_entry.js | 71 * We assume if the token contains '[' it contains a process ID.
|