This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: A question on alias analysis

From: Daniel Berlin <dberlin at dberlin dot org>
To: shreyas krishnan <shreyas76 at gmail dot com>
Cc: gcc at gcc dot gnu dot org
Date: Mon, 24 Oct 2005 09:01:16 -0400
Subject: Re: A question on alias analysis
References: <24389fb30510232150w13d1e8fbk9a53cb6877905730@mail.gmail.com>

On Mon, 2005-10-24 at 04:50 +0000, shreyas krishnan wrote:
> Hi ,
>       I am overwhelmed with the jargon and world of alias analysis and
> different kinds of it. I was wondering if some one can help me with
> this simple question.  Is deciding if a pointer is pointing to what
> segment (heap/otherwise) a simpler problem than exactly deciding the
> points to set?

No, since deciding what segments it points to is equivalent to deciding
what it points to.

All you'd really be doing in an analyzer to solve this would be simply
replacing things that added the explicit variables to the points-to
sets, which things that added segmentof(variable) to the points-to set.

I.E. Knowing the type of memory a variable points to (stack, heap) is a
side-effect of knowing what the variable points to.

--Dan

References:
- A question on alias analysis
  - From: shreyas krishnan

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]