Searched defs:assume (Results 1 - 3 of 3) sorted by relevance
| /freebsd-10.1-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 |
| /freebsd-10.1-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-10.1-release/sys/dev/sound/pci/hda/ | ||
| H A D | hdaa.c | 271 int i, total, sub, assume, channels; local |
Completed in 130 milliseconds