Lines Matching refs:SVal

36   void handleBegin(CheckerContext &C, const Expr *CE, SVal RetVal,
37 SVal Cont) const;
38 void handleEnd(CheckerContext &C, const Expr *CE, SVal RetVal,
39 SVal Cont) const;
40 void handleAssignment(CheckerContext &C, SVal Cont, const Expr *CE = nullptr,
41 SVal OldCont = UndefinedVal()) const;
42 void handleAssign(CheckerContext &C, SVal Cont, const Expr *ContE) const;
43 void handleClear(CheckerContext &C, SVal Cont, const Expr *ContE) const;
44 void handlePushBack(CheckerContext &C, SVal Cont, const Expr *ContE) const;
45 void handlePopBack(CheckerContext &C, SVal Cont, const Expr *ContE) const;
46 void handlePushFront(CheckerContext &C, SVal Cont, const Expr *ContE) const;
47 void handlePopFront(CheckerContext &C, SVal Cont, const Expr *ContE) const;
48 void handleInsert(CheckerContext &C, SVal Cont, SVal Iter) const;
49 void handleErase(CheckerContext &C, SVal Cont, SVal Iter) const;
50 void handleErase(CheckerContext &C, SVal Cont, SVal Iter1, SVal Iter2) const;
51 void handleEraseAfter(CheckerContext &C, SVal Cont, SVal Iter) const;
52 void handleEraseAfter(CheckerContext &C, SVal Cont, SVal Iter1,
53 SVal Iter2) const;
67 using NoItParamFn = void (ContainerModeling::*)(CheckerContext &, SVal,
69 using OneItParamFn = void (ContainerModeling::*)(CheckerContext &, SVal,
70 SVal) const;
71 using TwoItParamFn = void (ContainerModeling::*)(CheckerContext &, SVal, SVal,
72 SVal) const;
246 SVal RetVal, SVal Cont) const { in handleBegin()
268 SVal RetVal, SVal Cont) const { in handleEnd()
289 void ContainerModeling::handleAssignment(CheckerContext &C, SVal Cont, in handleAssignment()
290 const Expr *CE, SVal OldCont) const { in handleAssignment()
365 void ContainerModeling::handleAssign(CheckerContext &C, SVal Cont, in handleAssign()
379 void ContainerModeling::handleClear(CheckerContext &C, SVal Cont, in handleClear()
408 void ContainerModeling::handlePushBack(CheckerContext &C, SVal Cont, in handlePushBack()
448 void ContainerModeling::handlePopBack(CheckerContext &C, SVal Cont, in handlePopBack()
488 void ContainerModeling::handlePushFront(CheckerContext &C, SVal Cont, in handlePushFront()
523 void ContainerModeling::handlePopFront(CheckerContext &C, SVal Cont, in handlePopFront()
559 void ContainerModeling::handleInsert(CheckerContext &C, SVal Cont, in handleInsert()
560 SVal Iter) const { in handleInsert()
590 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont, in handleErase()
591 SVal Iter) const { in handleErase()
624 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont, SVal Iter1, in handleErase()
625 SVal Iter2) const { in handleErase()
660 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont, in handleEraseAfter()
661 SVal Iter) const { in handleEraseAfter()
681 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont, in handleEraseAfter()
682 SVal Iter1, SVal Iter2) const { in handleEraseAfter()