[Bug tree-optimization/70433] New: backslashes lost in dot file

["vries at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70433

            Bug ID: 70433
           Summary: backslashes lost in dot file
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: minor
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: vries at gcc dot gnu.org
  Target Milestone: ---

Reported by T. Lefering by email.

Consider test.c:
...
#include <stdio.h>

void
test (void)
{
  printf ("\"%s\"",__FUNCTION__);
} 
...

In the dump file we find back the backslashes in the string:
...
  printf ("\"%s\"", &__FUNCTION__);
...

But the dot file contains:
...
printf\ (\"\\"%s\\"\",\ &__FUNCTION__);
...

Which translates to this string in the function, without the backslashes:
...
printf (""%s"", &__FUNCTION__);
...