Home | History | Annotate | Download | only in Checkers

Lines Matching full:sval

78   bool hasNonLocalizedState(SVal S, CheckerContext &C) const;
79   bool hasLocalizedState(SVal S, CheckerContext &C) const;
80   void setNonLocalizedState(SVal S, CheckerContext &C) const;
81   void setLocalizedState(SVal S, CheckerContext &C) const;
84   void reportLocalizationError(SVal S, const ObjCMethodCall &M,
599 /// Returns true if the given SVal is marked as Localized in the program state
600 bool NonLocalizedStringChecker::hasLocalizedState(SVal S,
611 /// Returns true if the given SVal is marked as NonLocalized in the program
613 bool NonLocalizedStringChecker::hasNonLocalizedState(SVal S,
624 /// Marks the given SVal as Localized in the program state
625 void NonLocalizedStringChecker::setLocalizedState(const SVal S,
635 /// Marks the given SVal as NonLocalized in the program state
636 void NonLocalizedStringChecker::setNonLocalizedState(const SVal S,
676 /// Reports a localization error for the passed in method call and SVal
678     SVal S, const ObjCMethodCall &M, CheckerContext &C,
754     SVal svTitle = msg.getReceiverSVal();
780   SVal svTitle = msg.getArgSVal(argumentNumber);
835       SVal argValue = Call.getArgSVal(i);
837         SVal sv = Call.getReturnValue();
850   SVal sv = Call.getReturnValue();
886     SVal sv = msg.getReturnValue();
894   SVal sv = C.getSVal(SL);
914   SVal LiteralSVal = State->getSVal(LiteralExpr, Succ->getLocationContext());