Lines Matching defs:SVal

79   bool handleSwap(ProgramStateRef State, SVal First, SVal Second,
81   std::pair<SVal, ProgramStateRef>
100 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, SVal)
174                                            const SVal *RegionInnerPointerVal) {
303     const std::optional<SVal> ThisRegionOpt =
439 std::pair<SVal, ProgramStateRef> SmartPtrModeling::retrieveOrConjureInnerPtrVal(
472                                 SVal S) -> std::pair<SVal, ProgramStateRef> {
483   SVal First = Call.getArgSVal(0);
484   SVal Second = Call.getArgSVal(1);
493   SVal FirstPtrVal, SecondPtrVal;
523   // 2) Setting the SVal of the basic_ostream as the return value.
591   for (SVal Val : llvm::make_second_range(TrackedRegions)) {
675 bool SmartPtrModeling::handleSwap(ProgramStateRef State, SVal First,
676                                   SVal Second, CheckerContext &C) const {
723   SVal InnerPointerVal;
844   SVal InnerPointerVal;
848     // In case of inner pointer SVal is not available we create