From 7dce5088a717c7645e182950f744e52eacb05b3b Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@gnu.org>
Date: Tue, 28 Sep 1993 00:23:58 +0000
Subject: [PATCH] (output_quoted_string): New function.

(output_file_directive): Quote special characters in file names.

From-SVN: r5499
---
 gcc/toplev.c | 22 +++++++++++++++++++++-
 1 file changed, 21 insertions(+), 1 deletion(-)

diff --git a/gcc/toplev.c b/gcc/toplev.c
index b513c5ecbe2..42902835e17 100644
--- a/gcc/toplev.c
+++ b/gcc/toplev.c
@@ -1498,6 +1498,24 @@ strip_off_ending (name, len)
     name[len - 4] = 0;
 }
 
+/* Output a quoted string.  */
+void
+output_quoted_string (asm_file, string)
+     FILE *asm_file;
+     char *string;
+{
+  char c;
+
+  putc ('\"', asm_file);
+  while ((c = *string++) != 0)
+    {
+      if (c == '\"' || c == '\\')
+	putc ('\\', asm_file);
+      putc (c, asm_file);
+    }
+  putc ('\"', asm_file);
+}
+
 /* Output a file name in the form wanted by System V.  */
 
 void
@@ -1522,7 +1540,9 @@ output_file_directive (asm_file, input_name)
 #ifdef ASM_OUTPUT_SOURCE_FILENAME
   ASM_OUTPUT_SOURCE_FILENAME (asm_file, na);
 #else
-  fprintf (asm_file, "\t.file\t\"%s\"\n", na);
+  fprintf (asm_file, "\t.file\t");
+  output_quoted_string (asm_file, na);
+  fputc ('\n', asm_file);
 #endif
 #endif
 }