Home
last modified time | relevance | path

Searched defs:assumeDual (Results 1 – 2 of 2) sorted by relevance

/external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DConstraintManager.h93 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) { in assumeDual() function
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DConstraintManager.h75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) { in assumeDual() function