From 43af5a659c3fe4715f67854dd41a6f3253ca692f Mon Sep 17 00:00:00 2001
From: =?utf8?q?G=C3=B6tz=20Lindenmaier?= <goetz@ipd.info.uni-karlsruhe.de>
Date: Sat, 17 Apr 2004 13:58:46 +0000
Subject: [PATCH] accept slash in idents for file names

[r2670]
---
 ir/ir/irdump.c | 35 +++++++++++++++++++++++++++++------
 1 file changed, 29 insertions(+), 6 deletions(-)

diff --git a/ir/ir/irdump.c b/ir/ir/irdump.c
index 958550d69..14c920faf 100644
--- a/ir/ir/irdump.c
+++ b/ir/ir/irdump.c
@@ -1581,16 +1581,27 @@ dump_vcg_header(const char *name, const char *orientation) {
 
 static void vcg_open (ir_graph *irg, char * suffix1, char *suffix2) {
   const char *nm = get_irg_dump_name(irg);
-  int len = strlen(nm);
+  int len = strlen(nm), i, j;
   char *fname;  /* filename to put the vcg information in */
 
   if (!suffix1) suffix1 = "";
   if (!suffix2) suffix2 = "";
 
   /** open file for vcg graph */
-  fname = malloc (len + strlen(suffix1) + strlen(suffix2) + 5);
-  strncpy (fname, nm, len);      /* copy the filename */
-  fname[len] = '\0';
+  fname = malloc (len * 2 + strlen(suffix1) + strlen(suffix2) + 5);
+
+  //strncpy (fname, nm, len);      /* copy the filename */
+  j = 0;
+  for (i = 0; i < len; ++i) {  /* replase '/' in the name: escape by @. */
+    if (nm[i] == '/') {
+      fname[j] = '@'; j++; fname[j] = '1'; j++;
+    } else if (nm[i] == '@') {
+      fname[j] = '@'; j++; fname[j] = '2'; j++;
+    } else {
+      fname[j] = nm[i]; j++;
+    }
+  }
+  fname[j] = '\0';
   strcat (fname, suffix1);  /* append file suffix */
   strcat (fname, suffix2);  /* append file suffix */
   strcat (fname, ".vcg");   /* append the .vcg suffix */
@@ -1603,12 +1614,24 @@ static void vcg_open (ir_graph *irg, char * suffix1, char *suffix2) {
 
 static void vcg_open_name (const char *name, char *suffix) {
   char *fname;  /* filename to put the vcg information in */
+  int i, j, len = strlen(name);
 
   if (!suffix) suffix = "";
 
   /** open file for vcg graph */
-  fname = malloc (strlen(name) + 5 + strlen(suffix));
-  strcpy (fname, name);    /* copy the filename */
+  fname = malloc (len * 2 + 5 + strlen(suffix));
+  //strcpy (fname, name);    /* copy the filename */
+  j = 0;
+  for (i = 0; i < len; ++i) {  /* replase '/' in the name: escape by @. */
+    if (name[i] == '/') {
+      fname[j] = '@'; j++; fname[j] = '1'; j++;
+    } else if (name[i] == '@') {
+      fname[j] = '@'; j++; fname[j] = '2'; j++;
+    } else {
+      fname[j] = name[i]; j++;
+    }
+  }
+  fname[j] = '\0';
   strcat (fname, suffix);
   strcat (fname, ".vcg");  /* append the .vcg suffix */
   F = fopen (fname, "w");  /* open file for writing */
-- 
2.20.1