root/usr/src/tools/smatch/src/ir.h 
#ifndef _IR_H
#define _IR_H

#include "linearize.h"

int ir_validate(struct entrypoint *ep);

#endif