[Gambas-devel] Bug detected in gb.data
Benoît Minisini
gambas at ...1...
Sat Jan 5 10:46:37 CET 2013
Hi, Tobias.
The Coverity Scan software has detected the following problem in gb.data :
The following function in 'c_list.c' is incorrect:
static inline int VAL_is_valid(VAL *val)
{
int i = val->fidx + val->ck->first;
int j = val->lidx + val->ck->last;
if (i != j || !val->ck || val->fidx == -1 || i > val->ck->last)
return 0;
return 1;
}
because 'val->ck->first' is accessed before being null-checked.
I don't know if it is problematic, but it seems. Can you check that?
Thanks!
--
Benoît Minisini
More information about the Devel
mailing list