http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56034
Bug #: 56034 Summary: ICE: verify_gimple failed (invalid PHI argument) with -ftree-loop-distribution Classification: Unclassified Product: gcc Version: 4.8.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization AssignedTo: unassig...@gcc.gnu.org ReportedBy: antoine.balest...@gmail.com Hi ! Using GCC 4.8.0 as of 20130118 : $ cat incompat.c int a, b, *p; void f(void) { int *q; while(b++) { int i; p = &i; a = *q; } if(a) for(;; b++); } $ xgcc -O2 -w -ftree-loop-distribution incompat.c incompat.c: In function âfâ: incompat.c:3:6: error: invalid PHI argument void f(void) ^ .MEM_10 incompat.c:3:6: error: incompatible types in PHI argument 0 int void a.0_26 = PHI <.MEM_10(5)> incompat.c:3:6: internal compiler error: verify_gimple failed 0x90380c verify_gimple_in_cfg(function*) ../../srcdir/gcc/tree-cfg.c:4727 0x83e917 execute_function_todo ../../srcdir/gcc/passes.c:1966 0x83f297 execute_todo ../../srcdir/gcc/passes.c:1999 Please submit a full bug report, with preprocessed source if appropriate. Please include the complete backtrace with any bug report. See <http://gcc.gnu.org/bugs.html> for instructions.