C - условный переход или шаг зависит от неинициализированного значения (ов)

Question

Я получаю эту ошибку из Valgrind, когда я пытаюсь запустить мою программу:

==23152== Conditional jump or move depends on uninitialised value(s) 
==23152== at 0x4C2D8D0: strcmp (in /usr/lib64/valgrind/vgpreload_memcheck-amd64-linux.so) 
==23152== by 0x40096C: str_lower_cmp (functions.c:41) 
==23152== by 0x400BB8: list_sort (list_sort.c:34) 
==23152== by 0x400CC7: get_wdir_content (working_dir.c:27) 
==23152== by 0x400C27: main (main.c:18) 
==23152== Uninitialised value was created by a heap allocation 
==23152== at 0x4C2C27B: malloc (in /usr/lib64/valgrind/vgpreload_memcheck-amd64-linux.so) 
==23152== by 0x400D4C: xmalloc (xfunctions.c:35) 
==23152== by 0x400886: lower_string (functions.c:20) 
==23152== by 0x400945: str_lower_cmp (functions.c:39) 
==23152== by 0x400BB8: list_sort (list_sort.c:34) 
==23152== by 0x400CC7: get_wdir_content (working_dir.c:27) 
==23152== by 0x400C27: main (main.c:18) 
==23152== 
==23152== Conditional jump or move depends on uninitialised value(s) 
==23152== at 0x400BBB: list_sort (list_sort.c:34) 
==23152== by 0x400CC7: get_wdir_content (working_dir.c:27) 
==23152== by 0x400C27: main (main.c:18) 
==23152== Uninitialised value was created by a heap allocation 
==23152== at 0x4C2C27B: malloc (in /usr/lib64/valgrind/vgpreload_memcheck-amd64-linux.so) 
==23152== by 0x400D4C: xmalloc (xfunctions.c:35) 
==23152== by 0x400886: lower_string (functions.c:20) 
==23152== by 0x400945: str_lower_cmp (functions.c:39) 
==23152== by 0x400BB8: list_sort (list_sort.c:34) 
==23152== by 0x400CC7: get_wdir_content (working_dir.c:27) 
==23152== by 0x400C27: main (main.c:18) 
==23152== 

Хотя я не могу сказать, что это неправильно, я угадываю это происходит от list_sort.c:

t_llist *list_sort(t_llist *list) 
{ 
    struct s_node *tmp; 

    tmp = list->head; 
    while (tmp != NULL) 
    { 
     if (tmp->next != NULL) 
     { 
      if (!tmp->name || !tmp->next->name) 
       printf("Reached.\n"); 
      if (str_lower_cmp(tmp->name, tmp->next->name) > 0) 
      { 
       data_swap(tmp, tmp->next); 
       tmp = list->head; 
      } 
      else 
       tmp = tmp->next; 
     } 
     else 
      return (list); 
    } 
    return (list); 
} 

Означает ли это, что в какой-то момент,> имя tmp- или tmp-> next-> значение имя неиницализированные?

EDIT (код functions.c)

char   *lower_string(char *s) 
{ 
    char   *res; 
    int   i; 

    i = 0; 
    res = xmalloc(sizeof(*res) * strlen(s) + 1); 
    while (s[i]) 
    { 
     if (s[i] >= 'A' && s[i] <= 'Z') 
     res[i] = s[i] + 32; 
     else 
     res[i] = s[i]; 
     i++; 
    } 
    s[i] = '\0'; 
    return (res); 
} 

int    str_lower_cmp(char *s1, char *s2) 
{ 
    char   *tmp1; 
    char   *tmp2; 
    int   res; 

    tmp1 = lower_string(s1); 
    tmp2 = lower_string(s2); 
    res = strcmp(tmp1, tmp2); 
    free(tmp1); 
    free(tmp2); 
    return (res); 
} 

Answer 1

Первоначально valgrind говорит вам, что вы работаете strcmp с адресом памяти, выделяемой malloc, исходя из функции lower_string, но не имеет начальное значение, присвоенное ,

Это будет означать неопределенное поведение, а это значит, что в зависимости от вашего кода может быть очень опасно, поскольку это может привести к неожиданным результатам.

Я бы предложил использовать calloc в lower_string.

Редактировать: your're устанавливает s[i] в 0 вместо res[i] (указатель, который вы выделили и возвращаете). С другой стороны, я бы предложил использовать calloc и проверки res!=NULL

Answer 2

Ваша ошибка здесь, в lower_string Вы не завершения строки вы выделяющий:

char *lower_string(char *s) 
{ 
    char *res; 
    int i; 

    i = 0; 
    res = xmalloc(sizeof(*res) * strlen(s) + 1); 
    while (s[i]) 
    { 
     if (s[i] >= 'A' && s[i] <= 'Z') 
      res[i] = s[i] + 32; 
     else 
      res[i] = s[i]; 
     i++; 
    } 
    s[i] = '\0'; // THIS IS WRONG 
    return (res); 
} 

Выделенная линия должна быть таким:

res[i] = '\0'; // THIS IS RIGHT 

И заметьте, это будет пойман, если вы правильно прошли входную строку в качестве параметра const:

char *lower_string(const char *s) // MAKE PARAM CONST 

Выполнение этого не удалось бы скомпилировать, потому что ваше назначение s[i] = '\0' нарушило бы условие const. Общее правило, если вам необходимость к модификации что-то передается в качестве побочного адреса параметра, убедитесь, что const

Answer 3

, когда «символ * s» передается lower_string пустая строка, которую вы хотите иметь программу разбивающихся тоже. Вызов calloc как jcm сказал бы помочь исправить эту проблему