Lines Matching refs:SVal
35 void handleBegin(CheckerContext &C, const Expr *CE, SVal RetVal,
36 SVal Cont) const;
37 void handleEnd(CheckerContext &C, const Expr *CE, SVal RetVal,
38 SVal Cont) const;
39 void handleAssignment(CheckerContext &C, SVal Cont, const Expr *CE = nullptr,
40 SVal OldCont = UndefinedVal()) const;
41 void handleAssign(CheckerContext &C, SVal Cont, const Expr *ContE) const;
42 void handleClear(CheckerContext &C, SVal Cont, const Expr *ContE) const;
43 void handlePushBack(CheckerContext &C, SVal Cont, const Expr *ContE) const;
44 void handlePopBack(CheckerContext &C, SVal Cont, const Expr *ContE) const;
45 void handlePushFront(CheckerContext &C, SVal Cont, const Expr *ContE) const;
46 void handlePopFront(CheckerContext &C, SVal Cont, const Expr *ContE) const;
47 void handleInsert(CheckerContext &C, SVal Cont, SVal Iter) const;
48 void handleErase(CheckerContext &C, SVal Cont, SVal Iter) const;
49 void handleErase(CheckerContext &C, SVal Cont, SVal Iter1, SVal Iter2) const;
50 void handleEraseAfter(CheckerContext &C, SVal Cont, SVal Iter) const;
51 void handleEraseAfter(CheckerContext &C, SVal Cont, SVal Iter1,
52 SVal Iter2) const;
66 using NoItParamFn = void (ContainerModeling::*)(CheckerContext &, SVal,
68 using OneItParamFn = void (ContainerModeling::*)(CheckerContext &, SVal,
69 SVal) const;
70 using TwoItParamFn = void (ContainerModeling::*)(CheckerContext &, SVal, SVal,
71 SVal) const;
260 SVal RetVal, SVal Cont) const { in handleBegin()
282 SVal RetVal, SVal Cont) const { in handleEnd()
303 void ContainerModeling::handleAssignment(CheckerContext &C, SVal Cont, in handleAssignment()
304 const Expr *CE, SVal OldCont) const { in handleAssignment()
379 void ContainerModeling::handleAssign(CheckerContext &C, SVal Cont, in handleAssign()
393 void ContainerModeling::handleClear(CheckerContext &C, SVal Cont, in handleClear()
422 void ContainerModeling::handlePushBack(CheckerContext &C, SVal Cont, in handlePushBack()
462 void ContainerModeling::handlePopBack(CheckerContext &C, SVal Cont, in handlePopBack()
502 void ContainerModeling::handlePushFront(CheckerContext &C, SVal Cont, in handlePushFront()
537 void ContainerModeling::handlePopFront(CheckerContext &C, SVal Cont, in handlePopFront()
573 void ContainerModeling::handleInsert(CheckerContext &C, SVal Cont, in handleInsert()
574 SVal Iter) const { in handleInsert()
604 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont, in handleErase()
605 SVal Iter) const { in handleErase()
638 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont, SVal Iter1, in handleErase()
639 SVal Iter2) const { in handleErase()
674 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont, in handleEraseAfter()
675 SVal Iter) const { in handleEraseAfter()
695 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont, in handleEraseAfter()
696 SVal Iter1, SVal Iter2) const { in handleEraseAfter()