Searched defs:assume (Results 1 - 2 of 2) sorted by last modified time
| /freebsd-9.3-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ | ||
| H A D | ProgramState.h | 634 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, function in class:clang::ento::ProgramState 644 ProgramState::assume(DefinedOrUnknownSVal Cond) const { function in class:clang::ento::ProgramState [all...] |
| /freebsd-9.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ | ||
| H A D | SimpleConstraintManager.cpp | 68 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager 87 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager |
Completed in 69 milliseconds