#include "real.h"
#include "insn-config.h"
#include "recog.h"
+#include "function.h"
#include "expr.h"
#include "toplev.h"
#include "output.h"
not delete NOTEs except for NOTE_INSN_DELETED since later
phases assume these notes are retained. */
+ never_reached_warning (insn);
+
p = insn;
while (NEXT_INSN (p) != 0