Searched refs:isConstrainedTrue (Results 1 – 20 of 20) sorted by relevance
189 if (TV.isConstrainedTrue()) in isNonNullPtr()228 if ((Negated && InputState->isNonNull(AntecedentV).isConstrainedTrue()) in addImplication()229 || (!Negated && InputState->isNull(AntecedentV).isConstrainedTrue())) { in addImplication()
329 if (State->isNull(RHSVal).isConstrainedTrue()) in checkPreStmt()336 if (State->isNull(LHSVal).isConstrainedTrue()) in checkPreStmt()
79 return C.getState()->isNull(*ReturnDV).isConstrainedTrue(); in isInvariantBreak()
240 if (!State->isNull(V).isConstrainedTrue()) in mayBeSuccess()
169 return !OpenFailed.isConstrainedTrue(); in isLeaked()
585 if (State->isNull(InnerPointerVal).isConstrainedTrue()) { in handleBoolConversion()591 } else if (State->isNonNull(InnerPointerVal).isConstrainedTrue()) { in handleBoolConversion()
550 if (HandleVal.isConstrainedTrue()) { in evalAssume()558 if (ErrorVal.isConstrainedTrue()) { in evalAssume()
620 if (State->isNull(*SizeVal).isConstrainedTrue() || in evalFreadFwrite()621 State->isNull(*NMembVal).isConstrainedTrue()) { in evalFreadFwrite()
141 if (State->isNull(C.getSVal(E)).isConstrainedTrue()) { in warnIfNilExpr()156 if (!State->isNull(msg.getArgSVal(Arg)).isConstrainedTrue()) in warnIfNilArg()
559 if (AllocFailed.isConstrainedTrue()) in checkDeadSymbols()
535 .isConstrainedTrue()) { in diagnoseMissingReleases()
1620 return FreeFailed.isConstrainedTrue(); in didPreviousFreeFail()2872 if (AllocFailed.isConstrainedTrue()) in evalAssume()2883 if (!AllocFailed.isConstrainedTrue()) in evalAssume()
271 if (Nullness.isConstrainedTrue()) in getNullConstraint()
99 if (isSat.isConstrainedTrue() && isNotSat.isConstrainedFalse()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()103 if (isSat.isConstrainedFalse() && isNotSat.isConstrainedTrue()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()300 if (checkModel(State, Sym, Exp).isConstrainedTrue()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
56 bool isConstrainedTrue() const { in isConstrainedTrue() function
307 .isConstrainedTrue() && in wasRegionOfInterestModifiedAt()1017 EnableNullFPSuppression = State->isNull(*RetLoc).isConstrainedTrue(); in addVisitorIfNecessary()1079 if (State->isNull(V).isConstrainedTrue()) { in visitNodeInitial()1184 if (!State->isNull(*ArgV).isConstrainedTrue()) in visitNodeMaybeUnsuppress()1737 if (Succ->getState()->isNull(V).isConstrainedTrue()) in VisitNode()1744 if (!Pred->getState()->isNull(V).isConstrainedTrue() && in VisitNode()1745 Succ->getState()->isNull(V).isConstrainedTrue()) { in VisitNode()2094 bool LVIsNull = LVState->isNull(LVal).isConstrainedTrue(); in trackExpressionValue()2126 if (LVState->isNull(V).isConstrainedTrue()) in trackExpressionValue()2215 if (state->isNull(V).isConstrainedTrue()) in getNilReceiver()
125 bool isContainerNull = state->isNull(collectionV).isConstrainedTrue(); in VisitObjCForCollectionStmt()
997 if (State->isNull(ArgVal).isConstrainedTrue()) { in ProcessDeleteDtor()
304 if (CurrSt->isNull(RV).isConstrainedTrue()) { in generateDiagnosticsForCallLike()306 } else if (CurrSt->isNonNull(RV).isConstrainedTrue()) { in generateDiagnosticsForCallLike()
310 if (CMgr.isNull(State, Sym).isConstrainedTrue()) in checkPostStmt()1171 if (AllocFailed.isConstrainedTrue()) { in evalAssume()