include/clang/GR/PathSensitive/GRExprEngineBuilders.h

   1 //===-- GRExprEngineBuilders.h - "Builder" classes for GRExprEngine -*- C++ -*-=
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 //  This file defines smart builder "references" which are used to marshal
  11 //  builders between GRExprEngine objects and their related components.
  12 //
  13 //===----------------------------------------------------------------------===//
  14
  15 #ifndef LLVM_CLANG_GR_GREXPRENGINE_BUILDERS
  16 #define LLVM_CLANG_GR_GREXPRENGINE_BUILDERS
  17 #include "clang/GR/PathSensitive/GRExprEngine.h"
  18 #include "clang/Analysis/Support/SaveAndRestore.h"
  19
  20 namespace clang {
  21
  22 namespace GR {
  23
  24 class GRStmtNodeBuilderRef {
  25   ExplodedNodeSet &Dst;
  26   GRStmtNodeBuilder &B;
  27   GRExprEngine& Eng;
  28   ExplodedNode* Pred;
  29   const GRState* state;
  30   const Stmt* stmt;
  31   const unsigned OldSize;
  32   const bool AutoCreateNode;
  33   SaveAndRestore<bool> OldSink;
  34   SaveAndRestore<const void*> OldTag;
  35   SaveOr OldHasGen;
  36
  37 private:
  38   friend class GRExprEngine;
  39
  40   GRStmtNodeBuilderRef(); // do not implement
  41   void operator=(const GRStmtNodeBuilderRef&); // do not implement
  42
  43   GRStmtNodeBuilderRef(ExplodedNodeSet &dst,
  44                        GRStmtNodeBuilder &builder,
  45                        GRExprEngine& eng,
  46                        ExplodedNode* pred,
  47                        const GRState *st,
  48                        const Stmt* s, bool auto_create_node)
  49   : Dst(dst), B(builder), Eng(eng), Pred(pred),
  50     state(st), stmt(s), OldSize(Dst.size()), AutoCreateNode(auto_create_node),
  51     OldSink(B.BuildSinks), OldTag(B.Tag), OldHasGen(B.HasGeneratedNode) {}
  52
  53 public:
  54
  55   ~GRStmtNodeBuilderRef() {
  56     // Handle the case where no nodes where generated.  Auto-generate that
  57     // contains the updated state if we aren't generating sinks.
  58     if (!B.BuildSinks && Dst.size() == OldSize && !B.HasGeneratedNode) {
  59       if (AutoCreateNode)
  60         B.MakeNode(Dst, const_cast<Stmt*>(stmt), Pred, state);
  61       else
  62         Dst.Add(Pred);
  63     }
  64   }
  65
  66   const GRState *getState() { return state; }
  67
  68   GRStateManager& getStateManager() {
  69     return Eng.getStateManager();
  70   }
  71
  72   ExplodedNode* MakeNode(const GRState* state) {
  73     return B.MakeNode(Dst, const_cast<Stmt*>(stmt), Pred, state);
  74   }
  75 };
  76
  77 } // end GR namespace
  78
  79 } // end clang namespace
  80
  81 #endif