SEGUndefNode.h

/*
 * SEGUndefNode.h
 *
 * This node is to model a value that is not defined in the checked code.
 *
 *  Created on: 2016.5.11
 *      Author: andyzhou
 */
 
#ifndef LIB_IR_SEG_SEGUNDEFNODE_H
#define LIB_IR_SEG_SEGUNDEFNODE_H
 
#include "IR/SEG/SymbolicExprGraph.h"
 
using namespace llvm;
 
class PersistedSEGUndefNode;
 
class SEGUndefNode : public SEGOperandNode {
public:
  SEGUndefNode(PersistedSEGUndefNode *Node, SymbolicExprGraph *SEG);
 
  virtual void assembleSEGObject(std::map<int, SEGObject *> &FuncSEGObjMap) {
    SEGOperandNode::assembleSEGObject(FuncSEGObjMap);
  }
 
private:
  SEGUndefNode(Type *ty, SymbolicExprGraph *seg, BasicBlock *bb);
 
public:
  ~SEGUndefNode();
 
  virtual PersistedSEGObject *createPersistedObject() const;
 
public:
  static bool classof(const SEGObject *N) {
    return N->getKind() == SEGOBJK_Undef;
  }
 
  friend class SymbolicExprGraph;
};
 
#endif /* LIB_IR_SEG_SEGUNDEFNODE_H */