This is the mail archive of the
mailing list for the GCC project.
Re: Fully flow and context sensitive points-to analysis in GCC 4.6.0
On Thu, Oct 11, 2012 at 11:53 AM, Uday P. Khedker <email@example.com> 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
> 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