Home
last modified time | relevance | path

Searched refs:assume (Results 1 – 25 of 704) sorted by relevance

12345678910>>...29

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DConstraintManager.h67 virtual ProgramStateRef assume(ProgramStateRef state,
76 ProgramStateRef StTrue = assume(State, Cond, true); in assumeDual()
86 assert(assume(State, Cond, false) && "System is over constrained."); in assumeDual()
91 ProgramStateRef StFalse = assume(State, Cond, false); in assumeDual()
/external/clang/lib/StaticAnalyzer/Core/
DSimpleConstraintManager.cpp68 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, in assume() function in clang::ento::SimpleConstraintManager
84 return assume(state, Cond.castAs<NonLoc>(), Assumption); in assume()
87 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, in assume() function in clang::ento::SimpleConstraintManager
188 return assume(state, Cond.castAs<nonloc::LocAsInteger>().getLoc(), in assumeAux()
DSimpleConstraintManager.h36 ProgramStateRef assume(ProgramStateRef state, DefinedSVal Cond,
39 ProgramStateRef assume(ProgramStateRef state, NonLoc Cond, bool Assumption);
/external/clang/test/Analysis/inlining/
Dinline-defensive-checks.c115 void idcZero(int assume) { in idcZero() argument
116 if (assume) in idcZero()
/external/clang/test/Analysis/
Dmisc-ps-eager-assume.m1 …ore -analyzer-store=region -analyzer-constraints=range -verify -fblocks %s -analyzer-eagerly-assume
89 // case relies on -analyzer-eagerly-assume because of the expression
128 // This test case depends on using -analyzer-eagerly-assume and
129 // -analyzer-store=region. The '-analyzer-eagerly-assume' causes the path
/external/clang/lib/StaticAnalyzer/Checkers/
DVLASizeChecker.cpp117 std::tie(stateNotZero, stateZero) = state->assume(sizeD); in checkPreStmt()
152 state = state->assume(sizeIsKnown, true); in checkPreStmt()
DCStringChecker.cpp215 return state->assume(svalBuilder.evalEQ(state, *val, zero)); in REGISTER_MAP_WITH_PROGRAMSTATE()
447 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc)); in CheckOverlap()
468 std::tie(stateTrue, stateFalse) = state->assume(*reverseTest); in CheckOverlap()
513 std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest); in CheckOverlap()
585 state->assume(willOverflow.castAs<DefinedOrUnknownSVal>()); in checkAdditionOverflow()
690 state = state->assume(evalLength.castAs<DefinedOrUnknownSVal>(), true); in getCStringLengthForRegion()
1103 std::tie(StSameBuf, StNotSameBuf) = state->assume(SameBuf); in evalMemcmp()
1216 std::tie(stateStringTooLong, stateStringNotTooLong) = state->assume( in evalstrLengthCommon()
1240 state = state->assume(C.getSValBuilder().evalBinOpNN( in evalstrLengthCommon()
1246 state = state->assume(C.getSValBuilder().evalBinOpNN( in evalstrLengthCommon()
[all …]
DPthreadLockChecker.cpp166 std::tie(lockFail, lockSucc) = state->assume(retVal); in AcquireLock()
169 std::tie(lockSucc, lockFail) = state->assume(retVal); in AcquireLock()
179 lockSucc = state->assume(retVal, false); in AcquireLock()
DArrayBoundCheckerV2.cpp124 state->assume(*lowerBoundToCheck); in checkLocation()
156 state->assume(*upperboundToCheck); in checkLocation()
/external/chromium_org/third_party/yasm/source/patched-yasm/modules/parsers/tasm/tests/
Dsegment.asm5 assume es:data label
/external/bison/m4/
Dwarn-on-use.m421 # It is generally safe to assume declarations for functions declared
30 dnl FIXME: gl_Symbol must be used unquoted until we can assume
Dstrerror.m429 # If we don't know, assume the worst.
83 # If we don't know, assume the worst.
Dmalloc.m435 # If we don't know, assume the worst.
86 dnl some systems go to their knees when you do that. So assume that
Dsize_max.m425 dnl Define it ourselves. Here we assume that the type 'size_t' is not wider
76 dnl Remove this when we can assume autoconf >= 2.61.
Dsetenv.m440 # If we don't know, assume the worst.
132 # If we don't know, assume the worst.
Dexponentd.m480 dnl different sets of instructions: The older FPA instructions assume
83 dnl The newer VFP instructions assume little-endian order
/external/chromium_org/content/test/data/accessibility/
Dwbr-expected-mac.txt2 # wrong, so we assume this is correct.
Dwbr-expected-win.txt2 # wrong, so we assume this is correct.
Dbdo-expected-mac.txt2 # wrong, so we assume this is correct.
Dbdo-expected-win.txt2 # wrong, so we assume this is correct.
/external/chromium_org/third_party/expat/files/lib/
Dwinconfig.h.original24 /* we will assume all Windows platforms are little endian */
/external/chromium_org/net/third_party/nss/patches/
Dsuitebonly.patch9 /* See if we can support small curves (like 163). If not, assume we can
/external/llvm/test/Transforms/InstCombine/
D2008-07-13-DivZero.ll6 ; call. If the callee never returns, we can't assume the div is reachable.
Dalign-external.ll3 ; Don't assume that external global variables or those with weak linkage have
/external/llvm/test/Transforms/Inline/
Dinline-invoke-with-asm-call.ll4 ; In inliner, we assume that inline asm does not throw. This testing case makes

12345678910>>...29