Valgrind 跳转或移动取决于使用 getline 和一个字符的未初始化值 *

Question

我正在尝试使用 getline 和一个字符指针将 getline 的所有结果存储到那个指针：


    char *final = NULL;
    char *line = NULL;
    size_t n = 0;
    ssize_t result;
    int current_size = 0;
    while ((result = getline(&line, &n, in)) != -1){
        current_size += result;
        final = realloc(final, current_size ); //valgrind error
        if (final== NULL)
            return NULL;
        strcat(final,line);
    }

但我总是得到错误：

==695== Conditional jump or move depends on uninitialised value(s)
==695==    at 0x483B6D0: malloc (in /usr/lib/x86_64-linux-gnu/valgrind/vgpreload_memcheck-amd64-linux.so)
==695==    by 0x483E017: realloc (in /usr/lib/x86_64-linux-gnu/valgrind/vgpreload_memcheck-amd64-linux.so)
... method trace

我知道，realloc 只是分配，而不是初始化值，但是如果我尝试在下一行进行 memset，valgrind 告诉我：

==695== Conditional jump or move depends on uninitialised value(s)
==695==    at 0x48428EC: memset (in /usr/lib/x86_64-linux-gnu/valgrind/vgpreload_memcheck-amd64-linux.so)
... method trace

我阅读了很多 SO 贡献，但无法使用其中显示的解决方案解决该问题。我确信这不是最严重的内存泄漏，但它仍然是一个，所以我正在尝试修复它。有人知道如何解决这个问题吗？

Answer 1

你很接近，但是你在调用 realloc() 之前使用 current_size += result; 阻止了对 current_size == 0 的简单检查以检查你随后想要初始化的第一次迭代final 作为 空字符串 .

您可以执行以下操作：

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int main (void) {

    char *final = NULL, *line = NULL;
    size_t n = 0, current_size = 0;
    ssize_t result;
    
    while ((result = getline(&line, &n, stdin)) != -1) {
        if (result > 0)
            line[--result] = 0;                                 /* trim \n */
        
        final = realloc (final, current_size + result + 1);     /* add room for [=10=] */
        if (final== NULL)                                       /* validate allocation */
            return 1;
        
        if (!current_size)                                      /* if 1st word */
            *final = 0;                                         /* make final empty-str */
        
        current_size += result;                                 /* now update value */
        strcat (final, line);                                   /* concatenate */
    }
    
    printf ("%zu - %s\n", current_size, final);
    
    free (final);
    free (line);
}

示例Use/Output

$ ./bin/getlineplusone << 'eof'
1234
56
789
eof
9 - 123456789

内存Use/Error检查

$ valgrind ./bin/getlineplusone << 'eof'
1234
56
789
eof
==8438== Memcheck, a memory error detector
==8438== Copyright (C) 2002-2017, and GNU GPL'd, by Julian Seward et al.
==8438== Using Valgrind-3.13.0 and LibVEX; rerun with -h for copyright info
==8438== Command: ./bin/getlineplusone
==8438==
9 - 123456789
==8438==
==8438== HEAP SUMMARY:
==8438==     in use at exit: 0 bytes in 0 blocks
==8438==   total heap usage: 6 allocs, 6 frees, 5,262 bytes allocated
==8438==
==8438== All heap blocks were freed -- no leaks are possible
==8438==
==8438== For counts of detected and suppressed errors, rerun with: -v
==8438== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 0 from 0)

Valgrind 跳转或移动取决于使用 getline 和一个字符的未初始化值 *

Valgrind jump or move depends on uninitialised value(s) using getline and one char *

c

unix

valgrind

realloc