[LLVMdev] A question about alias analysis

夏一民 ymxia at nudt.edu.cn
Sun Jan 15 03:40:47 PST 2006

Thank you, Chris. The following is my comprehension about the AliasSetTracker,
please correct me.

1. A aliasset "as" represents a memory object, and all pointer "p" in "as" 
represent values with the type of pointer that may/must point to the memory 
object "as".

2. If a aliasset is "forwarding", it has been merged to another aliasset and 
I should ignore it.


More information about the llvm-dev mailing list