Searched refs:processAssume (Results 1 - 4 of 4) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSubEngine.h105 virtual ProgramStateRef processAssume(ProgramStateRef state,
H A DExprEngine.h269 ProgramStateRef processAssume(ProgramStateRef state, SVal cond,
/external/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp92 return SU->processAssume(state, cond, assumption);
H A DExprEngine.cpp250 ProgramStateRef ExprEngine::processAssume(ProgramStateRef state, function in class:ExprEngine

Completed in 726 milliseconds