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

/freebsd-11.0-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h57 bool isUnderconstrained() const { function in class:clang::ento::ConditionTruthVal
/freebsd-11.0-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitor.h159 bool isUnderconstrained(const ExplodedNode *N) const;
/freebsd-11.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DBugReporterVisitors.cpp720 bool TrackConstraintBRVisitor::isUnderconstrained(const ExplodedNode *N) const { function in class:TrackConstraintBRVisitor
722 return N->getState()->isNull(Constraint).isUnderconstrained();
737 if (!isUnderconstrained(N))
744 if (isUnderconstrained(PrevN)) {
751 assert(!isUnderconstrained(N));

Completed in 108 milliseconds