1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/pretty-print.c b/gcc/pretty-print.c
index 993fde7a6d6..b92caab6958 100644
--- a/gcc/pretty-print.c
+++ b/gcc/pretty-print.c
@@ -545,4 +545,14 @@ pp_base_string (pretty_printer *pp, const char *str)
   pp_maybe_wrap_text (pp, str, str + (str ? strlen (str) : 0));
 }
 
+/* Maybe print out a whitespace if needed.   */
 
+void
+pp_base_maybe_space (pretty_printer *pp)
+{
+  if (pp_base (pp)->padding != pp_none)
+    {
+      pp_space (pp);
+      pp_base (pp)->padding = pp_none;
+    }
+}