[Bug c/50850] New: verify_ssa failed

["maxdeliso at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>]

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)