/dalvik/vm/mterp/x86/ |
zcmp.S | 12 movl $$2,%eax # assume branch not taken
|
bincmp.S | 17 movl $$2,%eax # assume not taken
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
ConstraintManager.h | 32 virtual ProgramStateRef assume(ProgramStateRef state, 40 std::make_pair(assume(state, Cond, true), assume(state, Cond, false));
|
ProgramState.h | 152 // Various "assume" methods form the interface for adding constraints to 153 // symbolic values. A call to 'assume' indicates an assumption being placed 154 // on one or symbolic values. 'assume' methods take the following inputs: 158 // (2) The assumed constraint (which is specific to a given "assume" method). 163 // The output of "assume*" is a new ProgramState object with the added constraints. 167 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const; 171 /// 'assume' twice. 173 assume(DefinedOrUnknownSVal cond) const; 613 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, function in class:clang::ento::ProgramState 618 return getStateManager().ConstraintMgr->assume(this, cast<DefinedSVal>(Cond) 623 ProgramState::assume(DefinedOrUnknownSVal Cond) const { function in class:clang::ento::ProgramState [all...] |
/external/clang/lib/StaticAnalyzer/Core/ |
SimpleConstraintManager.h | 34 ProgramStateRef assume(ProgramStateRef state, DefinedSVal Cond, 37 ProgramStateRef assume(ProgramStateRef state, Loc Cond, bool Assumption); 39 ProgramStateRef assume(ProgramStateRef state, NonLoc Cond, bool Assumption);
|
SimpleConstraintManager.cpp | 57 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager 61 return assume(state, cast<NonLoc>(Cond), Assumption); 63 return assume(state, cast<Loc>(Cond), Assumption); 66 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, Loc cond, function in class:clang::ento::SimpleConstraintManager 79 assert (false && "'Assume' not implemented for this Loc."); 114 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager 166 llvm_unreachable("'Assume' not implemented for this NonLoc"); 282 // No logic yet for other operators. assume the constraint is feasible.
|
ExprEngineC.cpp | 465 // evaluate to 0 or 1, we must assume the value of the RHS evaluates to 0 470 if (ProgramStateRef newState = state->assume(XD, true)) 475 if (ProgramStateRef newState = state->assume(XD, false)) 784 if (!state->assume(Constraint, true)) { 791 state = state->assume(Constraint, false);
|
ExprEngineObjC.cpp | 158 llvm::tie(notNilState, nilState) = state->assume(receiverVal);
|
ExprEngine.cpp | 138 if (ProgramStateRef newState = state->assume(*Constraint, true)) 153 // Assume that the pointer value in 'self' is non-null. 154 state = state->assume(*LV, true); 169 state = state->assume(*LV, true); [all...] |
/external/clang/lib/StaticAnalyzer/Checkers/ |
PthreadLockChecker.cpp | 131 llvm::tie(lockFail, lockSucc) = state->assume(retVal); 134 llvm::tie(lockSucc, lockFail) = state->assume(retVal); 143 // Assume that the return value was 0. 144 lockSucc = state->assume(retVal, false);
|
BuiltinFunctionChecker.cpp | 70 state = state->assume(extentMatchesSizeArg, true);
|
ObjCAtSyncChecker.cpp | 65 llvm::tie(notNullState, nullState) = state->assume(cast<DefinedSVal>(V)); 85 // 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.
|
CStringChecker.cpp | 220 return state->assume(svalBuilder.evalEQ(state, *val, zero)); 261 // From here on, assume that the value is non-null. 451 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc)); 459 // assume the two expressions are not equal. 471 llvm::tie(stateTrue, stateFalse) = state->assume(*reverseTest); 519 llvm::tie(stateTrue, stateFalse) = state->assume(*OverlapTest); 527 // assume the two expressions don't overlap. 590 state->assume(cast<DefinedOrUnknownSVal>(willOverflow)); 616 // From now on, assume an overflow didn't occur. 735 // so we can assume that the byte length is the correct C string length [all...] |
ArrayBoundCheckerV2.cpp | 125 state->assume(*lowerBoundToCheck); 133 // Otherwise, assume the constraint of the lower bound. 157 state->assume(*upperboundToCheck);
|
OSAtomicChecker.cpp | 161 ProgramStateRef stateEqual = stateLoad->assume(Cmp, true); 201 if (ProgramStateRef stateNotEqual = stateLoad->assume(Cmp, false)) {
|
UnixAPIChecker.cpp | 122 llvm::tie(trueState, falseState) = state->assume(maskedFlags); 202 state->assume(cast<DefinedSVal>(argVal)); 259 // Assume the the value is non-zero going forward. 295 // Assume the the value is non-zero going forward.
|
DereferenceChecker.cpp | 105 llvm::tie(notNullState, nullState) = state->assume(location);
|
MacOSKeychainAPIChecker.cpp | 223 /// Given the address expression, retrieve the value it's pointing to. Assume 253 ProgramStateRef ErrState = State->assume(NoErr, noError); 402 // find the deallocator. Otherwise, assume that the user had written a 428 if (State->assume(cast<DefinedSVal>(ArgSVal), false) &&
|
/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/libffi/src/x86/ |
win32.S | 72 # If the return value pointer is NULL, assume no return value. 183 # If the return value pointer is NULL, assume no return value.
|
/external/webkit/LayoutTests/dom/xhtml/level3/core/ |
nodegetbaseuri06.js | 79 the Document Entity which I assume is not null, using getBaseURI check if the baseURI
|
/external/grub/stage2/ |
tparm.c | 460 * We'll have to assume that the caller knows the difference, since
|
/external/libffi/src/arm/ |
sysv.S | 186 @ If the return value pointer is NULL, assume no return value.
|
/external/libffi/src/m68k/ |
sysv.S | 87 | If the return value pointer is NULL, assume no return value.
|