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 Dsegment.asm5 assume es:data label
/external/clang/test/Analysis/inlining/
H A Dinline-defensive-checks.c115 void idcZero(int assume) { argument
116 if (assume)
/external/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp68 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 DProgramState.h158 // 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 Dnasm-pp.c525 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 Dorg.sat4j.core_2.2.0.v20100429.jarMETA-INF/MANIFEST.MF META-INF/ECLIPSEF.SF META-INF/ECLIPSEF.RSA META ...
/external/chromium_org/third_party/WebKit/Source/devtools/scripts/closure/
H A Dcompiler.jarMETA-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 Dcompiler.jarMETA-INF/ META-INF/MANIFEST.MF com/ com/google/ com/google/debugging/ com/google/debugging/sourcemap/ ...

Completed in 874 milliseconds