[LLVMdev] How to use the PoolDescriptor in ds-aa alias analysis?

[hc2428 at columbia.edu]

Dear Staff,
     I am reading the paper "Making Context-sensitive Points-to  
Analysis with Heap Cloning Practical For The Real World", and I build  
the poolalloc module, and run the program in Figure 1 in this paper  
with -ds-aa alias analysis. Now I know that X and Y in the program  
would have distinct PoolDescriptors to make them disjoint data  
structures.
     However, how can we use the PoolDescriptor? What is storing in  
it? It seems that the PoolDescriptor in the program is just parsed as  
an argument from top to down, but it is not modified, so I am a little  
confused.

Thanks,
Heming