bdwy_liveness.h

Go to the documentation of this file.

#ifndef BDWY_LIVENESS_H
#define BDWY_LIVENESS_H

#include "liveness.h"

class bdwyLivenessAnalyzer : public livenessAnalyzer
{
private:

  stmtLocation * _library_stmt;

  bool _automatically_live;

public:

  bdwyLivenessAnalyzer();

  void clear();

  void record_defs(procLocation * libproc_location,
                   procedureAnn * libproc_anns);

  virtual void at_threeAddr(stmtLocation * stmt,
                            threeAddrNode * threeaddr,
                            pointerValue & result);
};

#endif /* BDWY_LIVENESS_H */