--- binutils-2.14/gas/config/tc-msp430.c	2003-07-30 16:49:21.000000000 -0700
+++ binutils-2.14/gas/config/tc-msp430.c.old	2003-07-30 16:35:44.000000000 -0700
@@ -979,7 +979,11 @@
 	  else if (x == 4)
 	    {
 #ifdef PUSH_1X_WORKAROUND
-	      if (bin == 0x1200)
+	      if (bin == 0x1200
+		  && (msp430_mcu->isa == MSP430_ISA_11
+		      || msp430_mcu->isa == MSP430_ISA_12
+		      || msp430_mcu->isa == MSP430_ISA_13
+		      || msp430_mcu->isa == MSP430_ISA_14))
 		{
 		  /* Remove warning as confusing.
 		     as_warn(_("Hardware push bug workaround")); */
@@ -996,7 +1000,11 @@
 	  else if (x == 8)
 	    {
 #ifdef PUSH_1X_WORKAROUND
-	      if (bin == 0x1200)
+	      if (bin == 0x1200
+		  && (msp430_mcu->isa == MSP430_ISA_11
+		      || msp430_mcu->isa == MSP430_ISA_12
+		      || msp430_mcu->isa == MSP430_ISA_13
+		      || msp430_mcu->isa == MSP430_ISA_14))
 		{
 		  /* Remove warning as confusing.
 		     as_warn(_("Hardware push bug workaround")); */