HomeSort by relevance Sort by last modified time
    Searched defs:assume (Results 1 - 8 of 8) sorted by null

  /external/chromium_org/third_party/yasm/source/patched-yasm/modules/parsers/tasm/tests/
segment.asm 5 assume es:data label
  /external/clang/lib/StaticAnalyzer/Core/
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
128 llvm_unreachable("'Assume' not implemented for this NonLoc");
188 return assume(state, Cond.castAs<nonloc::LocAsInteger>().getLoc(),
  /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.
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(this, Cond.castAs<DefinedSVal>(), Assumption)
644 ProgramState::assume(DefinedOrUnknownSVal Cond) const { function in class:clang::ento::ProgramState
    [all...]