Searched refs:assume (Results 51 - 75 of 108) sorted by last modified time

12345

/external/google-tv-pairing-protocol/cpp/
H A Dltmain.sh2940 # will assume that the directory in which it is stored is
3743 /* not found in PATH; assume curdir */
5812 # Here we assume that one of hardcode_direct or hardcode_minus_L
6015 # we know (pedantically, we assume) the library does not
7132 # assume the linker understands whole_archive_flag_spec.
/external/eclipse-basebuilder/basebuilder-3.6.2/org.eclipse.releng.basebuilder/plugins/
H A Dorg.sat4j.core_2.2.0.v20100429.jarMETA-INF/MANIFEST.MF META-INF/ECLIPSEF.SF META-INF/ECLIPSEF.RSA META ...
/external/e2fsprogs/
H A Dconfigure139 # We cannot yet assume a decent shell, so we have to provide a
240 # We cannot yet assume a decent shell, so we have to provide a
1522 --with-gnu-ld assume the C compiler uses GNU ld default=no
/external/cmockery/cmockery_0_1_2/
H A Dconfigure1047 --with-gnu-ld assume the C compiler uses GNU ld [default=no]
6819 # When not using gcc, we currently assume that we are using
6826 # we just hope/assume this is gcc and not c89 (= MSVC++)
7305 # When not using gcc, we currently assume that we are using
7817 # if the path contains ";" then we assume it to be the separator
8198 # assume the GNU/Linux dynamic linker is in use.
10090 # archiving commands below assume that GNU ld is being used.
11782 # if the path contains ";" then we assume it to be the separator
12163 # assume the GNU/Linux dynamic linker is in use.
13411 # When not using gcc, we currently assume tha
[all...]
/external/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp124 state->assume(*lowerBoundToCheck);
132 // Otherwise, assume the constraint of the lower bound.
156 state->assume(*upperboundToCheck);
H A DBasicObjCFoundationChecks.cpp589 std::tie(stateTrue, stateFalse) = state->assume(ArgIsNull);
897 std::tie(StNonNil, StNil) = State->assume(*KnownCollection);
936 // Go ahead and assume the value is non-nil.
938 return State->assume(Val.castAs<DefinedOrUnknownSVal>(), true);
971 return State->assume(*CountGreaterThanZero, Assumption);
1149 // The symbol escaped. Pessimistically, assume that the count could have
1219 return State->assume(*DV, true);
1260 // Go ahead and assume the value is non-nil.
1268 // Go ahead and assume the value is non-nil.
H A DBuiltinFunctionChecker.cpp71 state = state->assume(extentMatchesSizeArg, true);
H A DCStringChecker.cpp215 return state->assume(svalBuilder.evalEQ(state, *val, zero));
256 // From here on, assume that the value is non-null.
447 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc));
455 // assume the two expressions are not equal.
468 std::tie(stateTrue, stateFalse) = state->assume(*reverseTest);
513 std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest);
521 // assume the two expressions don't overlap.
585 state->assume(willOverflow.castAs<DefinedOrUnknownSVal>());
612 // From now on, assume an overflow didn't occur.
690 state = state->assume(evalLengt
[all...]
H A DCallAndMessageChecker.cpp315 std::tie(StNonNull, StNull) = State->assume(L.castAs<DefinedOrUnknownSVal>());
371 State->assume(V.castAs<DefinedOrUnknownSVal>());
480 std::tie(notNilState, nilState) = state->assume(receiverVal);
578 // it most likely isn't nil. We should assume the semantics
H A DDereferenceChecker.cpp204 std::tie(notNullState, nullState) = state->assume(location);
243 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>());
H A DExprInspectionChecker.cpp72 State->assume(AssertionVal.castAs<DefinedOrUnknownSVal>());
H A DMacOSKeychainAPIChecker.cpp244 ProgramStateRef ErrState = State->assume(NoErr, noError);
401 // In all other cases, assume the user supplied a correct deallocator
425 if (State->assume(ArgSVal.castAs<DefinedSVal>(), false) &&
H A DMallocChecker.cpp305 /// We assume that pointers do not escape through calls to system functions
654 std::tie(TrueState, FalseState) = State->assume(MaskedFlags);
797 // If the first selector piece is one of the names below, assume that the
891 State = State->assume(extentMatchesSize, true);
1084 std::tie(notNullState, nullState) = State->assume(location);
1609 std::tie(StatePtrIsNull, StatePtrNotNull) = state->assume(PtrEQ);
1611 std::tie(StateSizeIsZero, StateSizeNotZero) = state->assume(SizeZero);
1612 // We only assume exceptional states if they are definitely true; if the
1613 // state is under-constrained, assume regular realloc behavior.
2045 // For now, assume tha
[all...]
H A DObjCAtSyncChecker.cpp63 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>());
83 // under-constrained to be null or non-null, assume it is non-null
H A DPthreadLockChecker.cpp166 std::tie(lockFail, lockSucc) = state->assume(retVal);
169 std::tie(lockSucc, lockFail) = state->assume(retVal);
179 lockSucc = state->assume(retVal, false);
H A DReturnUndefChecker.cpp62 // is not available, but the return value expression has 'void' type, assume
106 std::tie(StNonNull, StNull) = C.getState()->assume(RetVal);
109 // Going forward, assume the location is non-null.
H A DTestAfterDivZeroChecker.cpp145 return !CM.assume(C.getState(), *DSV, true);
H A DUnixAPIChecker.cpp117 std::tie(trueState, falseState) = state->assume(maskedFlags);
198 state->assume(argVal.castAs<DefinedSVal>());
H A DVLASizeChecker.cpp117 std::tie(stateNotZero, stateZero) = state->assume(sizeD);
124 // From this point on, assume that the size is not zero.
145 // Finally, assume that the array's extent matches the given size.
152 state = state->assume(sizeIsKnown, true);
/external/clang/lib/StaticAnalyzer/Core/
H A DBugReporterVisitors.cpp727 return (bool)N->getState()->assume(Constraint, !Assumption);
H A DExprEngine.cpp131 if (ProgramStateRef newState = state->assume(*Constraint, true))
147 state = state->assume(*LV, true);
162 state = state->assume(*LV, true);
1501 std::tie(StTrue, StFalse) = PrevState->assume(V);
1669 // Now "assume" that the case matches.
1670 if (ProgramStateRef stateNew = state->assume(Res, true)) {
1680 // Now "assume" that the case doesn't match. Add this state
1683 if (ProgramStateRef stateNew = DefaultSt->assume(Res, false)) {
1772 state = state->assume(V.castAs<DefinedOrUnknownSVal>(), true);
1859 // We instead treat these as lvalues and assume tha
[all...]
H A DExprEngineC.cpp565 std::tie(StTrue, StFalse) = N->getState()->assume(DefinedRHS);
951 if (!state->assume(Constraint, true)) {
958 state = state->assume(Constraint, false);
H A DExprEngineCXX.cpp171 // If we couldn't find an existing region to construct into, assume we're
395 // We assume all standard global 'operator new' functions allocate memory in
427 State = State->assume(symVal, true);
H A DExprEngineObjC.cpp168 std::tie(notNilState, nilState) = State->assume(receiverVal);
H A DProgramState.cpp347 return CM.assume(this, inBound.castAs<DefinedSVal>(), Assumption);

Completed in 338 milliseconds

12345