[Bug tree-optimization/39612] [4.4/4.5/4.6/4.7 Regression] LIM inserts loads from uninitialized local memory

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39612

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |4.7.0

--- Comment #11 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-01-16 13:28:56 UTC ---
Re-confirmed on trunk with the testcase in comment #4 and -Os:

> ./cc1 -quiet t.c -Os -Wall -fdump-tree-all
t.c: In function 'f2':
t.c:4:11: warning: 'inter[0]' is used uninitialized in this function
[-Wuninitialized]
t.c:4:11: warning: 'inter[1]' is used uninitialized in this function
[-Wuninitialized]

There is also a store data-race introduced by LIM when the loop header
is not copied.  I suppose the real fix is to disable SM if the loop
header is not copied.