diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6937c44c202..5015d16f752 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2013-03-26  Roland McGrath  <mcgrathr@google.com>
+
+	* config/arm/arm.c (arm_print_operand: case 'w'): Use fputs rather
+	than fprintf with a non-constant, non-format string.
+
 2013-03-26  Uros Bizjak  <ubizjak@gmail.com>
 
 	* config/i386/i386.md (*cmpqi_ext_1): Merge with *cmpqi_ext_1_rex64
diff --git a/gcc/config/arm/arm.c b/gcc/config/arm/arm.c
index d70df4da070..21020b9b9b1 100644
--- a/gcc/config/arm/arm.c
+++ b/gcc/config/arm/arm.c
@@ -17997,7 +17997,7 @@ arm_print_operand (FILE *stream, rtx x, int code)
 	      "wC12",  "wC13",  "wC14",  "wC15"
 	    };
 
-	  fprintf (stream, wc_reg_names [INTVAL (x)]);
+	  fputs (wc_reg_names [INTVAL (x)], stream);
 	}
       return;