[LLVMdev] Flow-Sensitive AA
clattner at apple.com
Mon Aug 18 17:21:09 CDT 2008
On Aug 18, 2008, at 3:19 PM, David Greene wrote:
> I'm not quite understanding how one would use the existing alias
> 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?
More information about the LLVMdev