1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/gimple-pretty-print.c b/gcc/gimple-pretty-print.c
index d0942e18291..8429161d0b0 100644
--- a/gcc/gimple-pretty-print.c
+++ b/gcc/gimple-pretty-print.c
@@ -1843,6 +1843,8 @@ static void
 dump_gimple_acc_body (pretty_printer *buffer, gimple_seq body,
                       int spc, int flags)
 {
+  if(flags & TDF_SLIM)
+    return;
   if (body && gimple_code (gimple_seq_first_stmt (body)) != GIMPLE_BIND)
   {
     newline_and_indent (buffer, spc + 2);