C语言 有条件的跳跃或移动取决于单位化值



所以,valgrind给了我这个错误,我用--track-origins=yes运行它并找到了错误的行,但我不明白错误是什么或如何修复它。

#include <stdio.h>
#include <stdlib.h>
typedef struct Date{
int year;
int month;
int day;
} Date;
typedef struct Data{
Date date;
float temp;
float uncertainty;
char country[100];
} Data;
int main(){
FILE* f = fopen("tempcountries_short.csv", "r");
char* line = NULL;
int capacity = 0;
int countries_capacity = 0;
int line_ix = 0;
char c;
Data* country = NULL;
while ((c = fgetc(f)) != 'n'){ 
if (line_ix + 1 > capacity){
if (capacity == 0)                    
capacity = 10;
else
capacity = capacity * 2;
line = realloc(line, capacity); 
}
line[line_ix] = c;
line_ix++;
}
if (countries_capacity == 0)
countries_capacity = 10;
else
countries_capacity = countries_capacity * 2;
country = realloc(country, countries_capacity);
printf("%in",sscanf(line, "%i - %i - %i, %f , %f , %s", 
&country->date.year, &country->date.month,
&country->date.day, &country->temp, &country->uncertainty,
country->country));
}

这是 Valgrind 的输出,带有选项 --leak-check=full 和 --track-origins=yes: https://pastebin.com/EyqDGBmQ 如您所见,还有许多其他错误,我也不明白是什么原因造成的。

该程序正在从包含许多国家温度数据的文件中读取行,我只是为一个国家/地区获取了部分代码来复制错误,但国家/地区应该是许多数据结构的数组。这是我正在阅读的文件中的一个示例行:

1972-03-01,4.787,0.342,斯洛伐克

country = realloc(country, countries_capacity);

您似乎依靠realloc(0, new_size)来表现得像malloc(new_size)。 这很好,但是您必须确保传递给realloc的指针变量确实为 null。 在此点之前没有代码初始化country变量,并且在其声明中...

Data* country;

。没有初始值设定项。 将其更改为

Data *country = 0;

这部分问题应该消失。

通常,当您从valgrind那里收到一整串错误时,只有第一个是有意义的,所以看看这是否可以解决所有问题。


编辑:随着上述程序的版本得到纠正,输入了显示的示例行,我没有收到任何关于realloc内未初始化值的投诉,但我仍然收到关于sscanf内未初始化值的投诉:

==28542== Conditional jump or move depends on uninitialised value(s)
==28542==    at 0x4C340E6: rawmemchr (vg_replace_strmem.c:1409)
==28542==    by 0x4EB6291: _IO_str_init_static_internal (strops.c:41)
==28542==    by 0x4EA476C: __isoc99_vsscanf (isoc99_vsscanf.c:41)
==28542==    by 0x4EA46D3: __isoc99_sscanf (isoc99_sscanf.c:31)
==28542==    by 0x108886: main (in /tmp/a.out)

以及关于无效写入的投诉:

==28542== Invalid write of size 4
==28542==    at 0x4E98FFB: _IO_vfscanf (vfscanf.c:1898)
==28542==    by 0x4EA4781: __isoc99_vsscanf (isoc99_vsscanf.c:43)
==28542==    by 0x4EA46D3: __isoc99_sscanf (isoc99_sscanf.c:31)
==28542==    by 0x108886: main (in /tmp/a.out)
==28542==  Address 0x51f41a8 is 8 bytes inside a block of size 10 alloc'd
==28542==    at 0x4C2CABF: malloc (vg_replace_malloc.c:298)
==28542==    by 0x4C2EE04: realloc (vg_replace_malloc.c:785)
==28542==    by 0x10883C: main (in /tmp/a.out)

这些都是由真正的错误引起的:第一个是因为line数组从未被制作成正确的 C 字符串(通过添加 nul 终止符),第二个是因为传递给realloc的大小是错误的。你需要

line[line_ix] = '';

紧接着while循环,以及

country = realloc(country, countries_capacity * sizeof(Data));

而不是您现在的realloc电话。


有了这些变化,我就没有收到瓦尔格林德的投诉。您仍然遇到使用sscanf的问题,这总是一个坏主意,但是valgrind无法帮助您。

问题就在这里:

country = realloc(country, countries_capacity);

country尚未初始化,则包含不确定的值。

只需在声明时初始化countryNULL,如下所示:

Data* country = NULL;

行的最后一个字符必须设置为 \0,才能成为正确的以 null 结尾的字符串。

最新更新