Home
last modified time | relevance | path

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

12345678910>>...27

/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.h36 ProgramStateRef assume(ProgramStateRef state, DefinedSVal Cond,
39 ProgramStateRef assume(ProgramStateRef state, Loc Cond, bool Assumption);
41 ProgramStateRef assume(ProgramStateRef state, NonLoc Cond, bool Assumption);
DSimpleConstraintManager.cpp68 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, in assume() function in clang::ento::SimpleConstraintManager
72 return assume(state, *NV, Assumption); in assume()
73 return assume(state, Cond.castAs<Loc>(), Assumption); in assume()
76 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, Loc cond, in assume() function in clang::ento::SimpleConstraintManager
118 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, in assume() function in clang::ento::SimpleConstraintManager
/external/clang/lib/StaticAnalyzer/Checkers/
DPthreadLockChecker.cpp123 llvm::tie(lockFail, lockSucc) = state->assume(retVal); in AcquireLock()
126 llvm::tie(lockSucc, lockFail) = state->assume(retVal); in AcquireLock()
136 lockSucc = state->assume(retVal, false); in AcquireLock()
DVLASizeChecker.cpp116 llvm::tie(stateNotZero, stateZero) = state->assume(sizeD); in checkPreStmt()
151 state = state->assume(sizeIsKnown, true); in checkPreStmt()
DCStringChecker.cpp212 return state->assume(svalBuilder.evalEQ(state, *val, zero)); in REGISTER_MAP_WITH_PROGRAMSTATE()
442 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc)); in CheckOverlap()
463 llvm::tie(stateTrue, stateFalse) = state->assume(*reverseTest); in CheckOverlap()
508 llvm::tie(stateTrue, stateFalse) = state->assume(*OverlapTest); in CheckOverlap()
579 state->assume(willOverflow.castAs<DefinedOrUnknownSVal>()); in checkAdditionOverflow()
1061 llvm::tie(StSameBuf, StNotSameBuf) = state->assume(SameBuf); in evalMemcmp()
1174 state->assume(C.getSValBuilder().evalBinOpNN( in evalstrLengthCommon()
1196 state = state->assume(C.getSValBuilder().evalBinOpNN( in evalstrLengthCommon()
1202 state = state->assume(C.getSValBuilder().evalBinOpNN( in evalstrLengthCommon()
1340 llvm::tie(stateSourceTooLong, stateSourceNotTooLong) = state->assume( in evalStrcpyCommon()
[all …]
/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/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.
Dexponentd.m480 dnl different sets of instructions: The older FPA instructions assume
83 dnl The newer VFP instructions assume little-endian order
Dsetenv.m440 # If we don't know, assume the worst.
132 # If we don't know, assume the worst.
/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/build/config/clang/
DBUILD.gn11 # for now, assume the output dir is two levels deep under the source
/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/chromium_org/ppapi/
Dppapi.gypi10 # ppp.h. Note that these source files assume that plugin is dependent
/external/chromium_org/v8/
DDEPS2 # directory and assume that the root of the checkout is in ./v8/, so

12345678910>>...27