Re: compile time warnings

From: Robert Hancock
Date: Fri Jan 02 2009 - 15:04:18 EST


Ingo Brueckl wrote:
Maybe somebody noticed already, with kernel 2.6.28 and gcc 4.3.2 there are a
few compile time warnings:
drivers/acpi/tables/tbfadt.c: In function 'acpi_tb_create_local_fadt':
/usr/src/linux/arch/x86/include/asm/string_32.h:75: warning: array subscript is above array bounds

I noticed this as well. This one looks like the compiler's getting a bit confused.

ACPI_MEMCPY(&acpi_gbl_FADT, table,
ACPI_MIN(length, sizeof(struct acpi_table_fadt)));

and somehow that falls into __constant_memcpy because somehow __builtin_constant_p() on the length parameter returns true. Huh? It's a non-static function where length is passed in, and ACPI_MIN is a simple (((a)<(b))?(a):(b)) expression. How can it think that's a compile time constant I don't know. Maybe it's not and just generating warnings from the code path it's seeing but not using?

The cause of the complaint might be the fact that the memcpy may appear to read past the end of the "table" structure which points to struct acpi_table_header. Presumably that memory is bigger than the actual struct acpi_table_header though. The text of the warning itself is bizarre though, as there is no array style access happening, and I don't see how the compiler can know what the actual bounds of the "array" are.


drivers/usb/core/hcd.c: In function 'usb_hcd_poll_rh_status':
/usr/src/linux/arch/x86/include/asm/string_32.h:75: warning: array subscript is above array bounds

This one makes a little more sense. This is presumably:

memcpy(urb->transfer_buffer, buffer, length);

where transfer_buffer is a void*, buffer is char[4] and length comes from hcd->driver->hub_status_data(hcd, buffer) which I assume fills in the buffer. It's true the memcpy could read past the end of the buffer array, but only if the hub_status_data could fill in and return a length greater than 4, which it hopefully can't..

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/