From: johnhull2008@gmail.com   
      
   There are several papers on synthesizing C pointers to hardware   
   including the following one:   
   http://citeseer.ist.psu.edu/237630.html   
      
   I have only read the introduction and abstract but it seems to be   
   suggesting a way of analyzing which variables a pointer might be   
   pointing to in order to synthesize it into hardware.   
      
   Most compilers, including gcc, already have an alias analysis pass, so   
   it might save you time if you can find a way to use the existing code.   
   I think tree-ssa-alias.c of gcc-4.3.1 is the pass you might be   
   interested in.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)