> > Also, after ivopts, the whole CFG needs to be > > re-scanned because the new alias relations it creates affect > > statements that have not even been modified by the process. > Wow. Egad. >
Yes, this would be very ungood if it is the case. If it is really changing the *semantics* of the program, or has a side-effect of causing already existing variables now have *larger* alias sets, that would be very bad (because it would mean we couldn't use the results of interprocedural alias analysis without trying to figure out what has now been invalidated). > Jeff >
