------- Comment #7 from pinskia at gcc dot gnu dot org 2007-10-28 00:40 ------- Here is a testcase without using IPA CP: /* { dg-do run } */ /* { dg-options "-O3" } */
int k; void f1 (int a, int b) { a = 1; b = 1; if (a) { int c; goto d; do { k = 1; d: c = b--; }while (c); } else if (b != 1) __builtin_abort (); } int main (void) { f1 (1, 1); if (k != 1) __builtin_abort (); return 0; } ----- CUT ----- Jan, Can you please look into this, this is an inlining issue where we add a statement for the assignment of a/b and mark that symbol for renaming and it causes the renaming to mess up as SSA rename can't handle overlapping names. -- pinskia at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |pinskia at gcc dot gnu dot | |org, hubicka at gcc dot gnu | |dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33434