On Tue, Dec 23, 2008 at 06:51, Christopher Li <sparse@xxxxxxxxxxx> wrote: > Void type is an incomplete type. It should not have storage size. But how about void *? If void *p = x, what p+1 should be? Gcc defines sizeof(void) being 1, and people seem to know and use this. http://gcc.gnu.org/onlinedocs/gcc-4.3.2/gcc/Warning-Options.html#index-Wno_002dpointer_002darith-347 In the Linux kernel, we've got lots of void * address arithmetics: linux/linux-2.6$ make -j 8 CC='gcc -Wpointer-arith' 2>&1 | grep 'warning: pointer of type \'void \*\' used in arithmetic' | uniq | wc -l 45095 So even if we can't agree if such use is legid or not, we definetely have to support this in sparse. And there is no need to warn about it, as gcc already can do this. -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
