[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: unassig...@gcc.gnu.org
ReportedBy: maxdel...@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  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

[maxdeliso at gmail dot com]

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

--- Comment #2 from Max DeLiso  2011-10-27 00:48:15 
UTC ---
no problems with gcc (GCC) 4.7.0 20111026 (experimental)