#include <safe-gcc-plugin.h>

#ifndef SAFEGCC_GIMPLE_H
#define SAFEGCC_GIMPLE_H

#include <gimple.h>
#include <gimplify.h>
#include <gimple-iterator.h>
#include <gimple-pretty-print.h>

#endif