[LLVMdev] Flow-Sensitive AA

[Chris Lattner]

On Aug 18, 2008, at 3:19 PM, David Greene wrote:

> I'm not quite understanding how one would use the existing alias  
> analysis
> framework to represent a flow-sensitive analysis.

Yep, the current infrastructure isn't set up to support this.

I haven't seen a real world case where flow sensitive AA is useful.   
Normally, the conversion to SSA form is sufficient.  Can you talk  
about cases where this matters to you?

-Chris