goto2c_preprocess.cpp File Reference

#include <goto2c/goto2c.h>
#include <goto2c/expr2c.h>
#include <util/expr/expr_util.h>
#include <util/lang/c_sizeof.h>

Include dependency graph for goto2c_preprocess.cpp: