diff -up gcc/config/rs6000/rs6000-logue.c.ppc64abort gcc/config/rs6000/rs6000-logue.c
--- gcc/config/rs6000/rs6000-logue.c.ppc64abort	2020-01-29 12:21:37.125854557 +0100
+++ gcc/config/rs6000/rs6000-logue.c	2020-01-29 12:21:52.903879537 +0100
@@ -5249,7 +5249,8 @@ rs6000_output_function_epilogue (FILE *f
 	  || ! strcmp (language_string, "GNU GIMPLE")
 	  || ! strcmp (language_string, "GNU Go")
 	  || ! strcmp (language_string, "GNU D")
-	  || ! strcmp (language_string, "libgccjit"))
+	  || ! strcmp (language_string, "libgccjit")
+	  || ! strcmp (language_string, "vhdl"))
 	i = 0;
       else if (! strcmp (language_string, "GNU F77")
 	       || lang_GNU_Fortran ())