check_header_refs.h

 
#ifndef BF_P4C_COMMON_CHECK_HEADER_REFS_H_
#define BF_P4C_COMMON_CHECK_HEADER_REFS_H_
 
#include "bf-p4c/common/utils.h"
#include "ir/ir.h"
 
using namespace P4;
 
class CheckForHeaders final : public Inspector {
    bool preorder(const IR::Member *) { return false; }
    bool preorder(const IR::HeaderRef *h) {
        if (h->toString() == "ghost::gh_intr_md") return false;
        BUG("Header present in IR not under Member: %s", h->toString());
    }
};
 
#endif /* BF_P4C_COMMON_CHECK_HEADER_REFS_H_ */