1 files changed, 4 insertions, 3 deletions
diff --git a/gcc/rtl.c b/gcc/rtl.c
index 7d7d73a..3c8594b 100644
--- a/gcc/rtl.c
+++ b/gcc/rtl.c
@@ -652,9 +652,10 @@ read_rtx (infile)
 		  /* \; makes stuff for a C string constant containing
 		     newline and tab.  */
 		  if (c == ';')
-		    obstack_grow (rtl_obstack, "\\n\\t", 4);
-		  else
-		    obstack_1grow (rtl_obstack, c);
+		    {
+		      obstack_grow (rtl_obstack, "\\n\\t", 4);
+		      continue;
+		    }
 		}
 	      else if (c == '"')
 		break;