Infinite loop in init_alias_analysis

Jeffrey A Law law@cygnus.com
Wed Nov 5 09:26:00 GMT 1997


  In message < 199711051230.NAA01044@lslsun17.epfl.ch >you write:
  > > HJ's alpha example is actually one copy deeper, but the same
  > > basic problem:
  > 
  > I was wondering if longer cycles were likely to happen.  Now I know :-)
Oh yes :-)    The reason behind the reorganization of the alias.c
code was do deal with more longer, more complicated set chains better. 
They can get much longer than 3 sets and aren't always nice and
simple like (set (regx) (regy)) 

  > > Now that I've had a chance to look at the code, I suspect either
  > > your solution or mine will work.  Mine converges quicker, but I'm
  > > somewhat leery that for some weird example the quicker convergence
  > > might be to the wrong state :(
  > 
  > What's your solution?
Instead of wiping new_reg_base_value clean at the start of the loop,
you copy entries from reg_base_value to it.   Problem is I can't
convince myself this is the right thing to do, but I can convince
myself that your solution is the right thing to do.

jeff



More information about the Gcc mailing list