HomeSort by: relevance | last modified time | path
    Searched refs:isUnderconstrained (Results 1 - 4 of 4) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 72 bool isUnderconstrained() const {
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/BugReporter/
BugReporterVisitors.h 191 bool isUnderconstrained(const ExplodedNode *N) const;
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
BugReporterVisitors.cpp 1645 bool TrackConstraintBRVisitor::isUnderconstrained(const ExplodedNode *N) const {
1647 return N->getState()->isNull(Constraint).isUnderconstrained();
1660 if (!isUnderconstrained(N))
1667 if (isUnderconstrained(PrevN)) {
1673 assert(!isUnderconstrained(N));
ProgramState.cpp 368 if (IsNull.isUnderconstrained())

Completed in 23 milliseconds