Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix asserts.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 16 Jan 2019 15:59:58 +0000 (16:59 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 16 Jan 2019 16:53:25 +0000 (17:53 +0100)
src/xbt/log.c
src/xbt/xbt_log_appender_file.c

index 2345560..009c80b 100644 (file)
@@ -181,8 +181,8 @@ void _xbt_log_event_log(xbt_log_event_t ev, const char *fmt, ...)
   xbt_log_category_t cat = ev->cat;
 
   xbt_assert(ev->priority >= 0, "Negative logging priority naturally forbidden");
-  xbt_assert(ev->priority < sizeof(xbt_log_priority_names), "Priority %d is greater than the biggest allowed value",
-             ev->priority);
+  xbt_assert(ev->priority < sizeof(xbt_log_priority_names) / sizeof(xbt_log_priority_names[0]),
+             "Priority %d is greater than the biggest allowed value", ev->priority);
 
   while (1) {
     xbt_log_appender_t appender = cat->appender;
index 13b7da8..f31c73b 100644 (file)
@@ -114,7 +114,7 @@ xbt_log_appender_t xbt_log_appender2_file_new(char *arg,int roll) {
   xbt_assert(arg);
   char* buf=xbt_strdup(arg);
   char* sep=strchr(buf,':');
-  xbt_assert(sep>0);
+  xbt_assert(sep != NULL);
   data->filename=xbt_strdup(sep+1);
   *sep='\0';
   char *endptr;