[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