HomeSort by relevance Sort by last modified time
    Searched refs:isConstrainedTrue (Results 1 - 6 of 6) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 41 bool isConstrainedTrue() const {
  /external/clang/lib/StaticAnalyzer/Core/
BugReporterVisitors.cpp 712 assert(N->getState()->isNull(V).isConstrainedTrue() &&
736 if (Succ->getState()->isNull(V).isConstrainedTrue())
743 if (!Pred->getState()->isNull(V).isConstrainedTrue()) {
746 assert(Succ->getState()->isNull(V).isConstrainedTrue());
795 if (State->isNull(CondVal).isConstrainedTrue()) {
855 if (LVState->isNull(LVal).isConstrainedTrue()) {
910 if (N->getState()->isNull(V).isConstrainedTrue()) {
    [all...]
  /external/clang/lib/StaticAnalyzer/Checkers/
SimpleStreamChecker.cpp 180 return !OpenFailed.isConstrainedTrue();
MacOSKeychainAPIChecker.cpp 566 if (AllocFailed.isConstrainedTrue() ||
MallocChecker.cpp 671 return FreeFailed.isConstrainedTrue();
    [all...]
RetainCountChecker.cpp     [all...]

Completed in 632 milliseconds