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.
