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