--- gcc/config/i386/bsd.h	2018/04/24 18:10:27	1.1
+++ gcc/config/i386/bsd.h	2018/04/24 18:17:17	1.1.1.2
@@ -48,7 +48,10 @@ the Free Software Foundation, 675 Mass A
    ??? I am skeptical of this -- RMS.  */
 
 #define ASM_FILE_START(FILE) \
-  fprintf (FILE, "\t.file\t\"%s\"\n", dump_base_name);
+  do {	fprintf (FILE, "\t.file\t");				\
+	output_quoted_string (FILE, dump_base_name);		\
+	fprintf (FILE, "\n");					\
+  } while (0)
 
 /* This was suggested, but it shouldn't be right for DBX output. -- RMS
    #define ASM_OUTPUT_SOURCE_FILENAME(FILE, NAME) */
@@ -124,9 +127,3 @@ the Free Software Foundation, 675 Mass A
 
 /* Don't split DBX symbols into continuations.  */
 #define DBX_CONTIN_LENGTH 0
-
-/* This is how to output an assembler line defining a `double' constant.  */
-
-#undef ASM_OUTPUT_DOUBLE
-#define ASM_OUTPUT_DOUBLE(FILE,VALUE)  \
-  fprintf (FILE, "\t.double 0d%.20e\n", (VALUE))