Searched refs:assumeDualImpl (Results 1 - 2 of 2) sorted by relevance

/openbsd-current/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DConstraintManager.cpp48 ConstraintManager::assumeDualImpl(ProgramStateRef &State, function in class:ConstraintManager
97 return assumeDualImpl(State, AssumeFun);
107 return assumeDualImpl(State, AssumeFun);
/openbsd-current/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h167 ProgramStatePair assumeDualImpl(ProgramStateRef &State,

Completed in 169 milliseconds