[Bug c/50850] New: verify_ssa failed

[Bug c/50850] New: verify_ssa failed

[maxdeliso at gmail dot com]

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

             Bug #: 50850
           Summary: verify_ssa failed
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: maxdeliso@gmail.com


Created attachment 25589
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25589
the preprocessed gfs2 file.c with triggers the bug

Bug Report
    Date: Mon Oct 24 07:56:29 EDT 2011
System Info
    gcc version: 4.7.0 20111024 (experimental) (GCC) 
    uname -a: Linux koplaix 3.1.0-rc10+ #3 SMP Sat Oct 22 19:22:40 EDT 2011
x86_64 GNU/Linux

Bug Info
    compiler output: 
      fs/gfs2/file.c: In function ‘gfs2_set_inode_flags’:
      fs/gfs2/file.c:172:6: error: definition in block 3 does not dominate use
in block 2
      for SSA_NAME: .MEM_32 in statement:
      .MEM_32 = PHI <.MEM_32(2)>
      PHI argument
      .MEM_32
      for PHI node
      .MEM_32 = PHI <.MEM_32(2)>
      fs/gfs2/file.c:172:6: internal compiler error: verify_ssa failed
      Please submit a full bug report,
      with preprocessed source if appropriate.
      See <http://gcc.gnu.org/bugs.html> for instructions.
    on git kernel commit: c3b92c8787367a8bb53d57d9789b558f1295cc96
    triggering commandline:
      gcc -Wp,-MD,fs/gfs2/.file.o.d  -nostdinc -isystem
/usr/local/lib/gcc/x86_64-unknown-linux-gnu/4.7.0/include
-I/home/maxx/src/linux-2.6/arch/x86/include -Iarch/x86/include/generated
-Iinclude  -include /home/maxx/src/linux-2.6/include/linux/kconfig.h
-D__KERNEL__ -Wall -Wundef -Wstrict-prototypes -Wno-trigraphs
-fno-strict-aliasing -fno-common -Werror-implicit-function-declaration
-Wno-format-security -fno-delete-null-pointer-checks -Os -m64 -march=core2
-mno-red-zone -mcmodel=kernel -funit-at-a-time -maccumulate-outgoing-args
-DCONFIG_AS_CFI=1 -DCONFIG_AS_CFI_SIGNAL_FRAME=1 -DCONFIG_AS_CFI_SECTIONS=1
-DCONFIG_AS_FXSAVEQ=1 -pipe -Wno-sign-compare -fno-asynchronous-unwind-tables
-mno-sse -mno-mmx -mno-sse2 -mno-3dnow -Wframe-larger-than=2048
-fno-stack-protector -Wno-unused-but-set-variable -fomit-frame-pointer
-Wdeclaration-after-statement -Wno-pointer-sign -fno-strict-overflow
-fconserve-stack -DCC_HAVE_ASM_GOTO -Ifs/gfs2  -DMODULE  -D"KBUILD_STR(s)=#s"
-D"KBUILD_BASENAME=KBUILD_STR(file)"  -D"KBUILD_MODNAME=KBUILD_STR(gfs2)" -c -o
fs/gfs2/file.o fs/gfs2/file.c
    (preprocessed file attached as file.i)

[Bug tree-optimization/50850] [4.7 Regression] verify_ssa failed

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c                           |tree-optimization
   Target Milestone|---                         |4.7.0
            Summary|verify_ssa failed           |[4.7 Regression] verify_ssa
                   |                            |failed

[Bug tree-optimization/50850] [4.7 Regression] verify_ssa failed

[belyshev at depni dot sinp.msu.ru]

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

--- Comment #1 from Serge Belyshev <belyshev at depni dot sinp.msu.ru> 2011-10-24 17:57:09 UTC ---
Most likely dup of bug 50763 (see if reverting r180341 or applying patch from
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50763#c12 helps).

[Bug tree-optimization/50850] [4.7 Regression] verify_ssa failed

[maxdeliso at gmail dot com]

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

--- Comment #2 from Max DeLiso <maxdeliso at gmail dot com> 2011-10-27 00:48:15 UTC ---
no problems with gcc (GCC) 4.7.0 20111026 (experimental)

[Bug tree-optimization/50850] [4.7 Regression] verify_ssa failed

[belyshev at depni dot sinp.msu.ru]

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

Serge Belyshev <belyshev at depni dot sinp.msu.ru> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |DUPLICATE

--- Comment #3 from Serge Belyshev <belyshev at depni dot sinp.msu.ru> 2011-10-27 07:21:11 UTC ---
(In reply to comment #2)
> no problems with gcc (GCC) 4.7.0 20111026 (experimental)

Closing as dup of bug 50763 then.

*** This bug has been marked as a duplicate of bug 50763 ***