SEGReturnSite.h

/*
 * SEGCallSite.h
 *
 * Qingkai
 *
 * This node is to model a call site.
 */

#ifndef IR_SEG_RETURNSITE_H
#define IR_SEG_RETURNSITE_H

#include <llvm/IR/Instructions.h>

#include "IR/SEG/SymbolicExprGraph.h"

using namespace llvm;

class SEGReturnSite : public SEGSiteBase {
private:
  SEGReturnSite(Instruction *U, SymbolicExprGraph *G, bool fromDisk)
      : SEGSiteBase(SEGOBJK_ReturnSite, U, G, fromDisk) {}

  friend class SymbolicExprGraph;
  friend class IntraFalcon;

public:
  static bool classof(const SEGObject *N) {
    return N->getKind() == SEGOBJK_ReturnSite;
  }
};

#endif