Be more defensive against broken parameters.

Don't crash unnecessarily if argv[argc] doesn't exist.

diff --git a/src/xbt/log.c b/src/xbt/log.c
index 0e78015..b5fdebf 100644 (file)
--- a/src/xbt/log.c
+++ b/src/xbt/log.c
@@ -568,8 +568,10 @@ void xbt_log_init(int *argc, char **argv)
       argv[j++] = argv[i];
     }
   }
-  argv[j] = NULL;
-  *argc = j;
+  if (j < *argc) {
+    argv[j] = NULL;
+    *argc = j;
+  }
 }
 
 static void log_cat_exit(xbt_log_category_t cat)