Searched refs:isConstrainedTrue (Results 1 – 15 of 15) sorted by relevance
190 if (TV.isConstrainedTrue()) in isNonNullPtr()229 if ((Negated && InputState->isNonNull(AntecedentV).isConstrainedTrue()) in addImplication()230 || (!Negated && InputState->isNull(AntecedentV).isConstrainedTrue())) { in addImplication()
330 if (State->isNull(RHSVal).isConstrainedTrue()) in checkPreStmt()337 if (State->isNull(LHSVal).isConstrainedTrue()) in checkPreStmt()
170 return !OpenFailed.isConstrainedTrue(); in isLeaked()
142 if (State->isNull(C.getSVal(E)).isConstrainedTrue()) { in warnIfNilExpr()157 if (!State->isNull(msg.getArgSVal(Arg)).isConstrainedTrue()) in warnIfNilArg()
556 if (AllocFailed.isConstrainedTrue()) in checkDeadSymbols()
536 .isConstrainedTrue()) { in diagnoseMissingReleases()
1362 return FreeFailed.isConstrainedTrue(); in didPreviousFreeFail()2587 if (AllocFailed.isConstrainedTrue()) in evalAssume()2598 if (!AllocFailed.isConstrainedTrue()) in evalAssume()
268 if (Nullness.isConstrainedTrue()) in getNullConstraint()
93 if (isSat.isConstrainedTrue() && isNotSat.isConstrainedFalse()) in checkNull()97 if (isSat.isConstrainedFalse() && isNotSat.isConstrainedTrue()) in checkNull()275 if (checkModel(State, Sym, Exp).isConstrainedTrue()) in assumeExpr()
57 bool isConstrainedTrue() const { in isConstrainedTrue() function
261 if (!Mgr.getSValBuilder().areEqual(State, ValueAtN, ValueAfter).isConstrainedTrue() && in wasRegionOfInterestModifiedAt()840 EnableNullFPSuppression = State->isNull(*RetLoc).isConstrainedTrue(); in addVisitorIfNecessary()900 if (State->isNull(V).isConstrainedTrue()) { in visitNodeInitial()986 if (!State->isNull(*ArgV).isConstrainedTrue()) in visitNodeMaybeUnsuppress()1412 assert(N->getState()->isNull(V).isConstrainedTrue() && in SuppressInlineDefensiveChecksVisitor()1437 if (Succ->getState()->isNull(V).isConstrainedTrue()) in VisitNode()1444 if (!Pred->getState()->isNull(V).isConstrainedTrue()) { in VisitNode()1447 assert(Succ->getState()->isNull(V).isConstrainedTrue()); in VisitNode()1623 bool LVIsNull = LVState->isNull(LVal).isConstrainedTrue(); in trackExpressionValue()1660 if (!DV->isZeroConstant() && LVState->isNull(*DV).isConstrainedTrue() && in trackExpressionValue()[all …]
129 bool isContainerNull = state->isNull(collectionV).isConstrainedTrue(); in VisitObjCForCollectionStmt()
946 if (State->isNull(ArgVal).isConstrainedTrue()) { in ProcessDeleteDtor()
226 if (CurrSt->isNull(RV).isConstrainedTrue()) { in generateDiagnosticsForCallLike()228 } else if (CurrSt->isNonNull(RV).isConstrainedTrue()) { in generateDiagnosticsForCallLike()
365 if (CMgr.isNull(State, Sym).isConstrainedTrue()) in checkPostStmt()1204 if (AllocFailed.isConstrainedTrue()) { in evalAssume()