--- gcc/config/i386/bsd.h	2018/04/24 18:10:27	1.1.1.1
+++ gcc/config/i386/bsd.h	2018/04/24 18:31:08	1.1.1.3
@@ -17,7 +17,8 @@ GNU General Public License for more deta
 
 You should have received a copy of the GNU General Public License
 along with GNU CC; see the file COPYING.  If not, write to
-the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
+the Free Software Foundation, 59 Temple Place - Suite 330,
+Boston, MA 02111-1307, USA.  */
 
 /* Include common aspects of all 386 Unix assemblers.  */
 #include "i386/unix.h"
@@ -48,7 +49,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 +128,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))