On 24/09/2007, Diego Novillo <[EMAIL PROTECTED]> wrote: > On 9/24/07, Manuel López-Ibáñez <[EMAIL PROTECTED]> wrote: > > > I don't get it. If you ask for PROP_alias and aliases have been > > computed, then PROP_alias is enabled and you don't need to compute > > them again. > > You do if alias information has gone stale due to transformations. > The SSA form is another example. You can have the program in SSA > form, but a transformation has inserted new code that also needs to be > placed in SSA form. > > It could be arranged by clearing PROP_ssa on exit. >
That is exactly what I had in mind. If you invalidate a property then the property is destroyed and whoever asks for it must invoke the relevant function to enable it again. Is that a problem? Cheers, Manuel.
