#include "set.h"
#include "hashptr.h"
#include "debug.h"
-#include "statev.h"
+#include "statev_t.h"
#include "dfs_t.h"
#include "absgraph.h"
assure_irg_properties(irg,
IR_GRAPH_PROPERTY_CONSISTENT_OUT_EDGES
- | IR_GRAPH_PROPERTY_CONSISTENT_LOOPINFO);
+ | IR_GRAPH_PROPERTY_CONSISTENT_LOOPINFO
+ | IR_GRAPH_PROPERTY_NO_UNREACHABLE_CODE);
/* compute a DFS.
* using a toposort on the CFG (without back edges) will propagate