buf_comparison: store which data holds array limits in the data_info table

buf_comparison: store which data holds array limits in the data_info table

Say we have have some code:

	foo->bar = malloc(sizeof(*foo->bar) * foo->nr);

Then later we have some code in a different function which does:

	if (x <= foo->nr)
		return foo->bar[x];

Maybe we can't track all how the function is called, but we can record
that at least one time foo->bar had foo->nr elements so the test looks
off by one.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>