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;
251 SVal RetVal, SVal Cont) const { in handleBegin()
273 SVal RetVal, SVal Cont) const { in handleEnd()
294 void ContainerModeling::handleAssignment(CheckerContext &C, SVal Cont, in handleAssignment()
295 const Expr *CE, SVal OldCont) const { in handleAssignment()
370 void ContainerModeling::handleAssign(CheckerContext &C, SVal Cont, in handleAssign()
384 void ContainerModeling::handleClear(CheckerContext &C, SVal Cont, in handleClear()
413 void ContainerModeling::handlePushBack(CheckerContext &C, SVal Cont, in handlePushBack()
453 void ContainerModeling::handlePopBack(CheckerContext &C, SVal Cont, in handlePopBack()
493 void ContainerModeling::handlePushFront(CheckerContext &C, SVal Cont, in handlePushFront()
528 void ContainerModeling::handlePopFront(CheckerContext &C, SVal Cont, in handlePopFront()
564 void ContainerModeling::handleInsert(CheckerContext &C, SVal Cont, in handleInsert()
565 SVal Iter) const { in handleInsert()
595 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont, in handleErase()
596 SVal Iter) const { in handleErase()
629 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont, SVal Iter1, in handleErase()
630 SVal Iter2) const { in handleErase()
665 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont, in handleEraseAfter()
666 SVal Iter) const { in handleEraseAfter()
686 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont, in handleEraseAfter()
687 SVal Iter1, SVal Iter2) const { in handleEraseAfter()