Lines Matching defs:HasValueVal

389 /// Sets `HasValueVal` as the symbolic value that represents the "has_value"
391 void setHasValue(RecordStorageLocation &OptionalLoc, BoolValue &HasValueVal,
393   Env.setValue(locForHasValue(OptionalLoc), HasValueVal);
402   auto *HasValueVal = Env.get<BoolValue>(HasValueLoc);
403   if (HasValueVal == nullptr) {
404     HasValueVal = &Env.makeAtomicBoolValue();
405     Env.setValue(HasValueLoc, *HasValueVal);
407   return HasValueVal;
466   if (auto *HasValueVal = getHasValue(
468     State.Env.setValue(*CallExpr, *HasValueVal);
475   if (auto *HasValueVal = getHasValue(
477     State.Env.setValue(*CallExpr, State.Env.makeNot(*HasValueVal));
487                                 const Formula &HasValueVal)) {
493   auto *HasValueVal =
495   if (HasValueVal == nullptr)
499                        HasValueVal->formula()));
507                                 const Formula &HasValueVal) -> const Formula & {
516                                                     HasValueVal);
525                          const Formula &HasValueVal) -> const Formula & {
530                         return A.makeImplies(ExprVal, HasValueVal);
662                             BoolValue &HasValueVal) {
664   setHasValue(Loc, HasValueVal, Env);
691   if (auto *HasValueVal = getHasValue(State.Env, Loc))
692     return *HasValueVal;
708 void transferAssignment(const CXXOperatorCallExpr *E, BoolValue &HasValueVal,
713     setHasValue(*Loc, HasValueVal, State.Env);
1103     if (auto *HasValueVal = cast_or_null<BoolValue>(Prop)) {
1104       if (Env.proves(HasValueVal->formula()))