Re: [KJ] [PATCH] Fix gcc4 warning, idx may be used uninitialized

[Jesse Millan <jessem@cs.pdx.edu>]

Its not easy to reproduce this warning in a simple program. And, I am
not sure that it is a bug on gcc4's part. It looks like gcc4 emits the
warning when it cannot prove beyond a shadow of doubt that the variable
is initialized before use.

In an effort to cut down on warnings, should these be fixed? It can go
either way, the compiler should be smart enough and maybe it will be
someday, or, do the initialization to get rid of a bunch of warnings.

Any feed back would be appreciated.

Arnd Bergmann wrote:
> On Freedag 20 Mai 2005 21:51, Jesse Millan wrote:
> 
>>So, the compiler should be able to tell that either one of the two cases
>>apply?
>>
>>a: an assignment statement will be done on idx before its ever read
>>
>>or
>>
>>b: no assignment statement, control flow will never allow idx to be read
> 
> 
> gcc is normally pretty good at detecting this. Since gcc-4.0, it 
> appears to do more checking inside inline functions, where older
> versions just assumed that a variable is initialized after a reference
> to it is passed to an inline function.
> 
> I'd suggest fixing the inline function to always do this instead of
> fixing the caller. After all, this needs to be fixed in the kernel,
> even if future gcc versions become smarter about it gcc-4.0 will
> continue to be used.
> 
> 	Arnd <><
> 
> --- a/fs/bio.c	2005-03-29 03:42:37 +02:00
> +++ b/fs/bio.c	2005-05-22 11:22:17 +02:00
> @@ -90,6 +90,7 @@
>  		case  65 ... 128: *idx = 4; break;
>  		case 129 ... BIO_MAX_PAGES: *idx = 5; break;
>  		default:
> +			*idx = 0;
>  			return NULL;
>  	}
>  	/*
> 

-- 
Jesse Millan
CNS Unix Team
Portland State University
Phone: (503) 725-9151
Mobile: (503) 453-0748
GPG key: www.system-calls.com/gpg.php

grep --recursive --ignore-case 'SHOULD WORK' /usr/src/linux/* | wc
_______________________________________________
Kernel-janitors mailing list
Kernel-janitors@lists.osdl.org
http://lists.osdl.org/mailman/listinfo/kernel-janitors