Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Initialize saveptr and please dumb compilers.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 15 Sep 2017 21:37:27 +0000 (23:37 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 15 Sep 2017 21:37:27 +0000 (23:37 +0200)
contrib/benchmarking_code_block/inject.h
src/xbt/automaton/automatonparse_promela.c
src/xbt/memory_map.cpp

index 8d7907d..4828114 100644 (file)
@@ -66,7 +66,7 @@ static inline void xbt_inject_init(char *inputfile)
   if (fgets(line, 200, fpInput) == NULL)
     printf("Error input file is empty!"); // Skipping first row
   while (fgets(line, 200, fpInput) != NULL) {
   if (fgets(line, 200, fpInput) == NULL)
     printf("Error input file is empty!"); // Skipping first row
   while (fgets(line, 200, fpInput) != NULL) {
-    char *saveptr; /* for strtok_r() */
+    char *saveptr = NULL; /* for strtok_r() */
     key = strtok_r(line, "\t", &saveptr);
 
     xbt_hist_t* data = xbt_dict_get_or_null(mydict, key);
     key = strtok_r(line, "\t", &saveptr);
 
     xbt_hist_t* data = xbt_dict_get_or_null(mydict, key);
@@ -119,7 +119,7 @@ static inline void inject_init_starpu(char *inputfile, xbt_dict_t *dict, RngStre
   }
 
   while (fgets(line, MAX_LINE_INJ, fpInput) != NULL) {
   }
 
   while (fgets(line, MAX_LINE_INJ, fpInput) != NULL) {
-    char *saveptr; /* for strtok_r() */
+    char *saveptr = NULL; /* for strtok_r() */
     key = strtok_r(line, "\t", &saveptr);
 
     xbt_hist_t* data = xbt_dict_get_or_null(mydict, key);
     key = strtok_r(line, "\t", &saveptr);
 
     xbt_hist_t* data = xbt_dict_get_or_null(mydict, key);
index 1c4b4da..f35835d 100644 (file)
@@ -17,7 +17,7 @@ static xbt_automaton_t parsed_automaton;
 char* state_id_src;
 
 static void new_state(char* id, int src){
 char* state_id_src;
 
 static void new_state(char* id, int src){
-  char* saveptr; // for strtok_r()
+  char* saveptr = NULL; // for strtok_r()
   char* id_copy = xbt_strdup(id);
   char* first_part = strtok_r(id_copy, "_", &saveptr);
   int type = 0 ; // -1=initial state; 0=intermediate state; 1=final state
   char* id_copy = xbt_strdup(id);
   char* first_part = strtok_r(id_copy, "_", &saveptr);
   int type = 0 ; // -1=initial state; 0=intermediate state; 1=final state
index 0f77a8d..73e2d8d 100644 (file)
@@ -193,7 +193,7 @@ XBT_PRIVATE std::vector<VmMap> get_memory_map(pid_t pid)
     line[read - 1] = '\0';
 
     /* Tokenize the line using spaces as delimiters and store each token in lfields array. We expect 5 tokens for 6 fields */
     line[read - 1] = '\0';
 
     /* Tokenize the line using spaces as delimiters and store each token in lfields array. We expect 5 tokens for 6 fields */
-    char* saveptr; // for strtok_r()
+    char* saveptr = nullptr; // for strtok_r()
     char* lfields[6];
     lfields[0] = strtok_r(line, " ", &saveptr);
 
     char* lfields[6];
     lfields[0] = strtok_r(line, " ", &saveptr);