[Bug tree-optimization/33434] [4.3 Regression] -fipa-cp miscompilation

["pinskia at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- 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