Searched defs:assumeDual (Results 1 - 1 of 1) sorted by relevance
/freebsd-10.2-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ | ||
H A D | ConstraintManager.h | 75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) { function in class:clang::ento::ConstraintManager |
Completed in 102 milliseconds