HomeSort by relevance Sort by last modified time
    Searched refs:assume (Results 1 - 25 of 89) sorted by null

1 2 3 4

  /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.

Completed in 2215 milliseconds

1 2 3 4