Searched refs:isUnderconstrained (Results 1 - 3 of 3) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h57 bool isUnderconstrained() const { function in class:clang::ento::ConditionTruthVal
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitor.h160 bool isUnderconstrained(const ExplodedNode *N) const;
/external/clang/lib/StaticAnalyzer/Core/
H A DBugReporterVisitors.cpp724 bool TrackConstraintBRVisitor::isUnderconstrained(const ExplodedNode *N) const { function in class:TrackConstraintBRVisitor
726 return N->getState()->isNull(Constraint).isUnderconstrained();
741 if (!isUnderconstrained(N))
748 if (isUnderconstrained(PrevN)) {
755 assert(!isUnderconstrained(N));

Completed in 110 milliseconds