Home
last modified time | relevance | path

Searched refs:isConstrainedTrue (Results 1 – 11 of 11) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DBugReporterVisitors.cpp218 EnableNullFPSuppression = State->isNull(*RetLoc).isConstrainedTrue(); in addVisitorIfNecessary()
279 if (!State->isNull(V).isConstrainedTrue()) { in visitNodeInitial()
371 if (!State->isNull(*ArgV).isConstrainedTrue()) in visitNodeMaybeUnsuppress()
796 assert(N->getState()->isNull(V).isConstrainedTrue() && in SuppressInlineDefensiveChecksVisitor()
820 if (Succ->getState()->isNull(V).isConstrainedTrue()) in VisitNode()
827 if (!Pred->getState()->isNull(V).isConstrainedTrue()) { in VisitNode()
830 assert(Succ->getState()->isNull(V).isConstrainedTrue()); in VisitNode()
1021 if (LVState->isNull(LVal).isConstrainedTrue()) { in trackNullOrUndefValue()
1056 if (!DV->isZeroConstant() && LVState->isNull(*DV).isConstrainedTrue() && in trackNullOrUndefValue()
1117 if (state->isNull(V).isConstrainedTrue()) in getNilReceiver()
DExprEngine.cpp620 if (State->isNull(ArgVal).isConstrainedTrue()) { in ProcessDeleteDtor()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DConstraintManager.h41 bool isConstrainedTrue() const { in isConstrainedTrue() function
/external/clang/lib/StaticAnalyzer/Checkers/
DPointerArithChecker.cpp329 if (State->isNull(RHSVal).isConstrainedTrue()) in checkPreStmt()
336 if (State->isNull(LHSVal).isConstrainedTrue()) in checkPreStmt()
DSimpleStreamChecker.cpp170 return !OpenFailed.isConstrainedTrue(); in isLeaked()
DBasicObjCFoundationChecks.cpp141 if (State->isNull(C.getSVal(E)).isConstrainedTrue()) { in warnIfNilExpr()
156 if (!State->isNull(msg.getArgSVal(Arg)).isConstrainedTrue()) in warnIfNilArg()
DMacOSKeychainAPIChecker.cpp567 if (AllocFailed.isConstrainedTrue() || in checkDeadSymbols()
DCheckObjCDealloc.cpp542 .isConstrainedTrue()) { in diagnoseMissingReleases()
DMallocChecker.cpp1194 return FreeFailed.isConstrainedTrue(); in didPreviousFreeFail()
2351 if (AllocFailed.isConstrainedTrue()) in evalAssume()
2362 if (!AllocFailed.isConstrainedTrue()) in evalAssume()
DNullabilityChecker.cpp283 if (Nullness.isConstrainedTrue()) in getNullConstraint()
DRetainCountChecker.cpp2861 if (CMgr.isNull(State, Sym).isConstrainedTrue()) in checkPostStmt()
3684 if (AllocFailed.isConstrainedTrue()) { in evalAssume()