Searched refs:isConstrainedTrue (Results 1 – 20 of 20) sorted by relevance
188 if (TV.isConstrainedTrue()) in isNonNullPtr()227 if ((Negated && InputState->isNonNull(AntecedentV).isConstrainedTrue()) in addImplication()228 || (!Negated && InputState->isNull(AntecedentV).isConstrainedTrue())) { in addImplication()
323 if (State->isNull(RHSVal).isConstrainedTrue()) in checkPreStmt()330 if (State->isNull(LHSVal).isConstrainedTrue()) in checkPreStmt()
80 return C.getState()->isNull(*ReturnDV).isConstrainedTrue(); in isInvariantBreak()
145 return !OpenFailed.isConstrainedTrue(); in isLeaked()
242 if (!State->isNull(V).isConstrainedTrue()) in mayBeSuccess()
547 if (HandleVal.isConstrainedTrue()) { in evalAssume()555 if (ErrorVal.isConstrainedTrue()) { in evalAssume()
860 if (State->isNull(InnerPointerVal).isConstrainedTrue()) { in handleBoolConversion()866 } else if (State->isNonNull(InnerPointerVal).isConstrainedTrue()) { in handleBoolConversion()
308 if (Nullness.isConstrainedTrue()) in getNullConstraint()956 if (IsNonNull.isConstrainedTrue()) { in evalAssume()
550 if (AllocFailed.isConstrainedTrue()) in checkDeadSymbols()
543 .isConstrainedTrue()) { in diagnoseMissingReleases()
757 if (State->isNull(*SizeVal).isConstrainedTrue() || in evalFreadFwrite()758 State->isNull(*NMembVal).isConstrainedTrue()) { in evalFreadFwrite()
1829 return FreeFailed.isConstrainedTrue(); in didPreviousFreeFail()3079 if (AllocFailed.isConstrainedTrue()) in evalAssume()3090 if (!AllocFailed.isConstrainedTrue()) in evalAssume()
167 if (!State->isNull(msg.getArgSVal(Arg)).isConstrainedTrue()) in warnIfNilArg()
100 if (isSat.isConstrainedTrue() && isNotSat.isConstrainedFalse()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()104 if (isSat.isConstrainedFalse() && isNotSat.isConstrainedTrue()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()301 if (checkModel(State, Sym, Exp).isConstrainedTrue()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
56 bool isConstrainedTrue() const { return Val && *Val; } in isConstrainedTrue() function
338 .isConstrainedTrue() && in wasRegionOfInterestModifiedAt()1076 if (State->isNull(V).isConstrainedTrue()) { in visitNodeInitial()1178 if (!State->isNull(*ArgV).isConstrainedTrue()) in visitNodeMaybeUnsuppress()1916 if (Succ->getState()->isNull(V).isConstrainedTrue()) in VisitNode()1923 if (!Pred->getState()->isNull(V).isConstrainedTrue() && in VisitNode()1924 Succ->getState()->isNull(V).isConstrainedTrue()) { in VisitNode()2350 bool LVIsNull = LVState->isNull(LVal).isConstrainedTrue(); in handle()2385 if (LVState->isNull(V).isConstrainedTrue()) in handle()2490 EnableNullFPSuppression = State->isNull(*RetLoc).isConstrainedTrue(); in handle()2714 if (state->isNull(V).isConstrainedTrue()) in getNilReceiver()
125 bool isContainerNull = state->isNull(collectionV).isConstrainedTrue(); in VisitObjCForCollectionStmt()
1421 if (State->isNull(ArgVal).isConstrainedTrue()) { in ProcessDeleteDtor()
298 if (CurrSt->isNull(RV).isConstrainedTrue()) { in generateDiagnosticsForCallLike()300 } else if (CurrSt->isNonNull(RV).isConstrainedTrue()) { in generateDiagnosticsForCallLike()
309 if (CMgr.isNull(State, Sym).isConstrainedTrue()) in checkPostStmt()1171 if (AllocFailed.isConstrainedTrue()) { in evalAssume()