[LLVMdev] How to describe a pointer that points to All memory(include global memory, heap, stack)?

[Steven Su]

Hello, could any one point me following question.

e.g:
	void foo(int * p)
	{
  	    *p = 0;			
	}
        Here 'p' may point to all memory location.
        Could you tell me how to represent the POINT TO set of 'p'?
			
        Here is my solution:
        Introduce a memory-class named: Global_Mem, then p pointed to global_mem. 
        And the MOD set of '*p=0' is Global_Mem.

But how to present the overlapping alias set:
e.g2:
        extern A[100];
	void foo(int * p, int i)
	{
           *p = 0;
           A[i] = 10;  
	}

'p' may point to anywhere. So p may point to A. How to describe the relation?