On Thu, Oct 11, 2012 at 11:53 AM, Uday P. Khedker <u...@cse.iitb.ac.in> wrote: > >> >> That's actually not true. In fact existing GCC pointer analysis is >> flow-sensitive for all SSA pointers. > > > SSA provides partial flow sensitivity to the top level pointers. For deeper > pointers, one needs to interleave SSA and points-to analysis. Besides, it > cannot > handle global pointers which are important at the interprocedural level.
Yes, for global pointers, but in GIMPLE we do not have 'deeper' pointers. Unless I'm misunderstanding you. By 'deep pointers' you mean 'foo->ptr1->ptr2'? There are no memory expressions of that kind in GIMPLE. Diego.
