diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 8bd54a91e232469f1af1f4349161b12730fe7072..9f365c79deba6ccc0fce0c1d8cf66b59c69406e5 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2003-07-18  Richard Henderson  <rth@redhat.com>
+
+	* optabs.c (prepare_operand): Fail gracefully instead of abort
+	if the predicate doesn't satisfy.
+	(gen_cond_trap): Allow prepare_operand to fail.
+
 2003-07-19  Gabriel Dos Reis  <gdr@integrable-solutions.net>
 
 	* c-common.c: Don't undefine GCC_DIAG_STYLE.
diff --git a/gcc/optabs.c b/gcc/optabs.c
index 3085b8529ca54e79d684ac7ae715b45ff7640cb1..f8ae543024b77690c4c12c034190ff26e3eac9b0 100644
--- a/gcc/optabs.c
+++ b/gcc/optabs.c
@@ -3725,7 +3725,12 @@ prepare_operand (int icode, rtx x, int opnum, enum machine_mode mode,
 
   if (! (*insn_data[icode].operand[opnum].predicate)
       (x, insn_data[icode].operand[opnum].mode))
-    x = copy_to_mode_reg (insn_data[icode].operand[opnum].mode, x);
+    {
+      if (no_new_pseudos)
+	return NULL_RTX;
+      x = copy_to_mode_reg (insn_data[icode].operand[opnum].mode, x);
+    }
+
   return x;
 }
 
@@ -5736,6 +5741,11 @@ gen_cond_trap (enum rtx_code code ATTRIBUTE_UNUSED, rtx op1,
   start_sequence ();
   op1 = prepare_operand (icode, op1, 0, mode, mode, 0);
   op2 = prepare_operand (icode, op2, 1, mode, mode, 0);
+  if (!op1 || !op2)
+    {
+      end_sequence ();
+      return 0;
+    }
   emit_insn (GEN_FCN (icode) (op1, op2));
 
   PUT_CODE (trap_rtx, code);