reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
97 if (isSat.isConstrainedTrue() && isNotSat.isConstrainedFalse()) 101 if (isSat.isConstrainedFalse() && isNotSat.isConstrainedTrue())tools/clang/lib/StaticAnalyzer/Checkers/MIGChecker.cpp
229 if (!State->isNull(V).isConstrainedFalse())
tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp 265 if (Nullness.isConstrainedFalse())
tools/clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp 169 if (retZero.isConstrainedFalse()) {
tools/clang/lib/StaticAnalyzer/Checkers/ReturnValueChecker.cpp 81 return C.getState()->isNull(*ReturnDV).isConstrainedFalse();