HomeSort by relevance Sort by last modified time
    Searched full:assume (Results 276 - 300 of 4425) sorted by null

<<11121314151617181920>>

  /prebuilts/ndk/7/platforms/android-9/arch-x86/usr/include/
dirent.h 51 * who assume to be able to access it directly. sad...
  /prebuilts/ndk/8/platforms/android-14/arch-arm/usr/include/
dirent.h 51 * who assume to be able to access it directly. sad...
  /prebuilts/ndk/8/platforms/android-14/arch-mips/usr/include/
dirent.h 51 * who assume to be able to access it directly. sad...
  /prebuilts/ndk/8/platforms/android-14/arch-x86/usr/include/
dirent.h 51 * who assume to be able to access it directly. sad...
  /prebuilts/ndk/8/platforms/android-3/arch-arm/usr/include/
dirent.h 51 * who assume to be able to access it directly. sad...
  /prebuilts/ndk/8/platforms/android-3/arch-mips/usr/include/
dirent.h 51 * who assume to be able to access it directly. sad...
  /prebuilts/ndk/8/platforms/android-3/arch-x86/usr/include/
dirent.h 51 * who assume to be able to access it directly. sad...
  /prebuilts/ndk/8/platforms/android-4/arch-arm/usr/include/
dirent.h 51 * who assume to be able to access it directly. sad...
  /prebuilts/ndk/8/platforms/android-4/arch-mips/usr/include/
dirent.h 51 * who assume to be able to access it directly. sad...
  /prebuilts/ndk/8/platforms/android-4/arch-x86/usr/include/
dirent.h 51 * who assume to be able to access it directly. sad...
  /prebuilts/ndk/8/platforms/android-5/arch-arm/usr/include/
dirent.h 51 * who assume to be able to access it directly. sad...
  /prebuilts/ndk/8/platforms/android-5/arch-mips/usr/include/
dirent.h 51 * who assume to be able to access it directly. sad...
  /prebuilts/ndk/8/platforms/android-5/arch-x86/usr/include/
dirent.h 51 * who assume to be able to access it directly. sad...
  /prebuilts/ndk/8/platforms/android-8/arch-arm/usr/include/
dirent.h 51 * who assume to be able to access it directly. sad...
  /prebuilts/ndk/8/platforms/android-8/arch-mips/usr/include/
dirent.h 51 * who assume to be able to access it directly. sad...
  /prebuilts/ndk/8/platforms/android-8/arch-x86/usr/include/
dirent.h 51 * who assume to be able to access it directly. sad...
  /prebuilts/ndk/8/platforms/android-9/arch-arm/usr/include/
dirent.h 51 * who assume to be able to access it directly. sad...
  /prebuilts/ndk/8/platforms/android-9/arch-mips/usr/include/
dirent.h 51 * who assume to be able to access it directly. sad...
  /prebuilts/ndk/8/platforms/android-9/arch-x86/usr/include/
dirent.h 51 * who assume to be able to access it directly. sad...
  /system/core/adb/
utils.c 89 * invalid. We assume ADB is not buggy enough to
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
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.
173 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
177 /// 'assume' twice.
179 assume(DefinedOrUnknownSVal cond) const;
614 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, function in class:clang::ento::ProgramState
619 return getStateManager().ConstraintMgr->assume(this, cast<DefinedSVal>(Cond)
624 ProgramState::assume(DefinedOrUnknownSVal Cond) const { function in class:clang::ento::ProgramState
    [all...]
  /external/clang/lib/StaticAnalyzer/Checkers/
CStringChecker.cpp 220 return state->assume(svalBuilder.evalEQ(state, *val, zero));
260 // From here on, assume that the value is non-null.
450 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc));
458 // assume the two expressions are not equal.
470 llvm::tie(stateTrue, stateFalse) = state->assume(*reverseTest);
518 llvm::tie(stateTrue, stateFalse) = state->assume(*OverlapTest);
526 // assume the two expressions don't overlap.
589 state->assume(cast<DefinedOrUnknownSVal>(willOverflow));
615 // From now on, assume an overflow didn't occur.
734 // so we can assume that the byte length is the correct C string length
    [all...]
  /bionic/libc/tzcode/
asctime.c 33 ** and may assume that the newline always lands in the same place.
103 ** Assume that strftime is unaffected by other out-of-range members
  /bionic/libm/amd64/
fenv.h 137 * We assume that the x87 and the SSE unit agree on the
192 * We assume that the masks for the x87 and the SSE unit are
  /bionic/libm/include/amd64/
fenv.h 137 * We assume that the x87 and the SSE unit agree on the
192 * We assume that the masks for the x87 and the SSE unit are

Completed in 3841 milliseconds

<<11121314151617181920>>