Searched defs:assume (Results 1 - 8 of 8) sorted by relevance
/external/chromium_org/third_party/yasm/source/patched-yasm/modules/parsers/tasm/tests/ |
H A D | segment.asm | 5 assume es:data label
|
/external/clang/test/Analysis/inlining/ |
H A D | inline-defensive-checks.c | 115 void idcZero(int assume) { argument 116 if (assume)
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | SimpleConstraintManager.cpp | 68 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager 84 return assume(state, Cond.castAs<NonLoc>(), Assumption); 87 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager 188 return assume(state, Cond.castAs<nonloc::LocAsInteger>().getLoc(),
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | 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. 178 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const; 183 /// This is more efficient than calling assume() twice. Note that one (but not 186 assume(DefinedOrUnknownSVal cond) const; 634 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, function in class:clang::ento::ProgramState 640 ->assume(thi 644 ProgramState::assume(DefinedOrUnknownSVal Cond) const { function in class:clang::ento::ProgramState [all...] |
/external/chromium_org/third_party/yasm/source/patched-yasm/modules/preprocs/nasm/ |
H A D | nasm-pp.c | 525 struct TSegmentAssume *assume; local 528 for (assume = TAssumes; assume->segreg; assume++) { 529 if (!strcmp(assume->segment, segment)) 532 return assume->segreg; 861 } else if (!nasm_stricmp(p, "assume")) { 862 struct TSegmentAssume *assume; local 879 for (assume = TAssumes; assume [all...] |
/external/eclipse-basebuilder/basebuilder-3.6.2/org.eclipse.releng.basebuilder/plugins/ |
H A D | org.sat4j.core_2.2.0.v20100429.jar | META-INF/MANIFEST.MF META-INF/ECLIPSEF.SF META-INF/ECLIPSEF.RSA META ... |
/external/chromium_org/third_party/WebKit/Source/devtools/scripts/closure/ |
H A D | compiler.jar | META-INF/ META-INF/MANIFEST.MF com/ com/google/ com/google/javascript/ com/google/javascript/jscomp/ ... |
/external/chromium_org/third_party/closure_compiler/compiler/ |
H A D | compiler.jar | META-INF/ META-INF/MANIFEST.MF com/ com/google/ com/google/debugging/ com/google/debugging/sourcemap/ ... |
Completed in 663 milliseconds