Index: gcc/lra.c
===================================================================
--- gcc/lra.c	2012-10-17 16:36:34.000000000 +0100
+++ gcc/lra.c	2012-10-18 11:48:40.423088311 +0100
@@ -1810,7 +1810,8 @@ push_insns (rtx from, rtx to)
   if (from == NULL_RTX)
     return;
   for (insn = from; insn != to; insn = PREV_INSN (insn))
-    lra_push_insn (insn);
+    if (INSN_P (insn))
+      lra_push_insn (insn);
 }
 
 /* Emit insns BEFORE before INSN and insns AFTER after INSN.  Put the