Thank you. Dmitry 2009/2/5 Andrew Haley <aph@xxxxxxxxxx>: > Дмитрий Дьяченко wrote: > >> 2009/2/5 Andrew Pinski <pinskia@xxxxxxxxx>: >>> On Wed, Feb 4, 2009 at 1:18 PM, Дмитрий Дьяченко <dimhen@xxxxxxxxx> wrote: >>>> The following code >>>> >>>> int bar(int *global) >>>> { >>>> int local; >>>> if(&local != global) >>>> return 0; >>>> return local; >>>> } >>> The issue is that GCC does not figure that global cannot point to >>> local so it does not optimize away the if statement. > >> Sorry, but I don't understood - is it impossible to fix, so there are >> no needs in bug report? >> Or PR about this issue already exists? >> Or it's not a bug? > > It's not a bug. gcc is warning you that the return statement may use an > uninitialized local. It does, so there is not a bug. The fact that the > return statement isn't reachable doesn't imply that there should be no > warning. > > Andrew. >