Searched defs:canReasonAbout (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp26 bool SimpleConstraintManager::canReasonAbout(SVal X) const { function in class:clang::ento::SimpleConstraintManager
151 if (!canReasonAbout(Cond)) {

Completed in 57 milliseconds