From: Christian Heinrich <franz-christian.heinrich@inria.fr>
Date: Thu, 26 May 2016 10:37:35 +0000 (+0200)
Subject: [INSTR] Rename paje headers for call-location tracing
X-Git-Tag: v3_14~1159^2~4
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/3070e56235256fcd3dfed7d241eebaf1e4dafc07?hp=61d490b47bd1a0369e1a72133d27e2eb486cab40

[INSTR] Rename paje headers for call-location tracing

We cannot call these values 'Filename' and 'Linenumber' because
they're reserved and will be ignored by pj_dump.
---

diff --git a/src/instr/instr_paje_header.cpp b/src/instr/instr_paje_header.cpp
index f135044bc4..6994075d4b 100644
--- a/src/instr/instr_paje_header.cpp
+++ b/src/instr/instr_paje_header.cpp
@@ -165,8 +165,12 @@ static void TRACE_header_PajePushState (int basic, int size)
   fprintf(tracing_file, "%%       Value string\n");
   if (size) fprintf(tracing_file, "%%       Size int\n");
   if (xbt_cfg_get_boolean("smpi/trace-call-location")) {
-    fprintf(tracing_file, "%%       Filename string\n");
-    fprintf(tracing_file, "%%       Linenumber int\n");
+    /**
+     * paje currently (May 2016) uses "Filename" and "Linenumber" as
+     * reserved words. We cannot use them...
+     */
+    fprintf(tracing_file, "%%       Fname string\n");
+    fprintf(tracing_file, "%%       Lnumber int\n");
   }
   fprintf(tracing_file, "%%EndEventDef\n");
 }