Lines Matching defs:sv
933 SVal sv = Call.getReturnValue();
934 setLocalizedState(sv, C);
946 SVal sv = Call.getReturnValue();
948 setLocalizedState(sv, C);
950 !hasLocalizedState(sv, C)) {
952 setNonLocalizedState(sv, C);
955 dyn_cast_or_null<SymbolicRegion>(sv.getAsRegion());
957 setNonLocalizedState(sv, C);
983 SVal sv = msg.getReturnValue();
984 setLocalizedState(sv, C);
991 SVal sv = C.getSVal(SL);
992 setNonLocalizedState(sv, C);